On Wed, 28 Apr 2021 22:23:17 GMT, Chris Plummer <[email protected]> wrote:
> Also, please give a proper description of the PR. Right now it just says > "…tation" Oh, I'm embarrassed to say that I completely overlooked this. I just updated the description. ------------- PR: https://git.openjdk.java.net/jdk/pull/3522
