On Thu, 22 Jan 2026 16:35:29 GMT, Jan Lahoda <[email protected]> wrote:
> Ah, OK. Then I would say merge the patches - if they cannot be separated, > then merging/combining them is the only real option. Thanks, will do. I'm leaning towards merging into this one, since JDK-8208752 was the original bug. Let me know if you have a preference. ------------- PR Comment: https://git.openjdk.org/jdk/pull/28943#issuecomment-3785396416
