On Fri, 6 May 2022 18:00:32 GMT, Leo Korinth <lkorinth at openjdk.org> wrote: > 8283899: Revert 8284190 after fix of 8281297 Looks good, and trivial. ------------- Marked as reviewed by kbarrett (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/8580