Skip to content

Documentation: update NON-JLS tags across the code base#4812

Merged
stephan-herrmann merged 1 commit intoeclipse-jdt:masterfrom
stephan-herrmann:non-jls-documentation
Feb 1, 2026
Merged

Documentation: update NON-JLS tags across the code base#4812
stephan-herrmann merged 1 commit intoeclipse-jdt:masterfrom
stephan-herrmann:non-jls-documentation

Conversation

@stephan-herrmann
Copy link
Contributor

@stephan-herrmann stephan-herrmann commented Feb 1, 2026

  • update NON-JLS tags across the code base

See also https://github.com/eclipse-jdt/eclipse.jdt.core/wiki/ECJ-Relevant-JDK-Issues

+ update NON-JLS tags across the code base
@stephan-herrmann stephan-herrmann added the documentation Improvements or additions to documentation label Feb 1, 2026
@stephan-herrmann
Copy link
Contributor Author

collected tags as shown in the Tasks view:

image

@srikanth-sankaran fyi.

@stephan-herrmann stephan-herrmann merged commit 9a9702d into eclipse-jdt:master Feb 1, 2026
8 checks passed
@stephan-herrmann stephan-herrmann deleted the non-jls-documentation branch February 1, 2026 15:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments