Am Mon, Feb 13, 2023 at 11:31:15PM +0200 schrieb Efraim Flashner: > Looks like you might be able to drop openjdk-10-hotspot-stack-size.patch > from openjdk-19.0.1.
Maybe. What is strange is that we have the same openjdk package on master, apparently with the patch. I will give it a try nevertheless. Andreas
