On Tue, 14 Sep 2021 17:25:05 GMT, Ioi Lam <ik...@openjdk.org> wrote:

> Maybe it should be "any_integer"?

+1

-------------

PR: https://git.openjdk.java.net/jdk/pull/5437

Reply via email to