Emily fe4e4a1ae2 openjdk17: 17.0.12+7 -> 17.0.13+11 ...

Drop an upstreamed patch, and update another for upstream changes.

2024-10-24 20:44:00 +01:00

..

fix-library-path-jdk17.patch

openjdk17: 17.0.12+7 -> 17.0.13+11

2024-10-24 20:44:00 +01:00

ignore-LegalNoticeFilePlugin-jdk17.patch

…

increase-javadoc-heap-jdk13.patch

…

swing-use-gtk-jdk13.patch

…