]> source.dussan.org Git - javassist.git/commitdiff
Merge pull request #470 from shifujun/repair_IDEA
authorShigeru Chiba <chibash@users.noreply.github.com>
Sat, 16 Dec 2023 13:12:35 +0000 (22:12 +0900)
committerGitHub <noreply@github.com>
Sat, 16 Dec 2023 13:12:35 +0000 (22:12 +0900)
Minimal changes make IDEA 2023.2 work out-of-box


Trivial merge