On Wed, 27 Apr 2022 21:47:15 GMT, Mat Carter <d...@openjdk.java.net> wrote:
>> Thanks for the feedback, I'm going to incorporate that into the PR > >> And also, is there a ReleaseString missing? > > Yes an error when I "patched" my repo, but based on the feedback there will > no longer be a string to release :) Committed changes to use ints instead of strings ------------- PR: https://git.openjdk.java.net/jdk/pull/8211