On Tue, 26 Aug 2025 16:23:15 GMT, Weijun Wang <[email protected]> wrote:
> Remove redundant `@spec` tags. > > Note: the RMI spec fixed mentioned in the same bug will be fixed in the doc > repo. This pull request has now been integrated. Changeset: 6a480ad0 Author: Weijun Wang <[email protected]> URL: https://git.openjdk.org/jdk/commit/6a480ad07a64dc291c5e46e024febedc857f5e1a Stats: 3 lines in 3 files changed: 0 ins; 3 del; 0 mod 8366126: Feedback on two errors in JSR 400 Reviewed-by: hchao, wetmore ------------- PR: https://git.openjdk.org/jdk/pull/26945
