On Wed, 18 May 2022 11:45:46 GMT, Anthony Vanelverdinghe <duke at openjdk.java.net> wrote: > The change is trivial, but I'll need help from someone to create a JBS issue & sponsor this PR. Marked as reviewed by darcy (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/8766