On Mon, 4 Jan 2021 14:48:16 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote: > Tested manually and with tier1-3. This option isn't in any of the tests. Changes look good, and trivial. Thanks, Harold ------------- Marked as reviewed by hseigel (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/1931