On Tue, 26 Aug 2025 16:23:15 GMT, Weijun Wang <wei...@openjdk.org> wrote:
> Remove redundant `@spec` tags. > > Note: the RMI spec fixed mentioned in the same bug will be fixed in the doc > repo. LGTM. ------------- Marked as reviewed by wetmore (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/26945#pullrequestreview-3156496180