-
Notifications
You must be signed in to change notification settings - Fork 79
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[FEATURE]: #2140: Add ArenaInfoPanel #2141
Conversation
a431b83
to
244f897
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hi @sgcr, very good job.
dfdc1a5
to
36ca4da
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
For me it is fine now - I don't want to decide about lombok or not...
33d31a8
to
f63d6a5
Compare
Good :) See also my comment regarding Java records with the last commit. The pull requests: #2145 and #2143 should be reviewed and merged first because they are partly included here but separate general things. I would like to rebase this PR here then. |
c43d4b0
to
ebda775
Compare
125aed8
to
8e04966
Compare
b91005e
to
aa4e757
Compare
aa4e757
to
0ed42f9
Compare
Can be merged. |
5d3e17a
to
bf16512
Compare
changes proposed in this pull request:
src/main/resources/release_notes.md
...