On Wed, 20 Apr 2022 10:01:05 GMT, Guoxiong Li <gli at openjdk.org> wrote: > It is good to file a new issue to remove it instead of leaving it which may confuse other developers. I filed https://bugs.openjdk.java.net/browse/SKARA-1402 to follow up. ------------- PR: https://git.openjdk.java.net/skara/pull/1297