On Thu, 8 Oct 2020 07:18:28 GMT, Robin Westberg <rwestb...@openjdk.org> wrote:
>> Aleksey Shipilev has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Drop "debug" from the names > > Looks good! @erikj79, can you take a look as well? Or maybe @dholmes-ora wants to chime in on the sanity of the change? ------------- PR: https://git.openjdk.java.net/jdk/pull/547
