On Tue, 1 Nov 2022 16:29:21 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > Was the property name previously agreed upon? Nope. Please, rename as you see fit, I really have no preference nor do I have any experience in CSRs. ------------- PR: https://git.openjdk.org/jdk/pull/10140