
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Nov 2, 2022, at 1:27 AM, Maxim Kartashev <<a href="mailto:mkartashev@openjdk.org" class="">mkartashev@openjdk.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">On Tue, 1 Nov 2022 16:29:21 GMT, Brian Burkhalter <<a href="mailto:bpb@openjdk.org" class="">bpb@openjdk.org</a>> wrote:<br class=""><br class=""><blockquote type="cite" class="">Was the property name previously agreed upon?<br class=""></blockquote><br class="">Nope. Please, rename as you see fit, I really have no preference nor do I have any experience in CSRs.<br class=""><br class="">-------------<br class=""><br class="">PR: <a href="https://git.openjdk.org/jdk/pull/10140" class="">https://git.openjdk.org/jdk/pull/10140</a><br class=""></div></div></blockquote><br class=""></div><div>I had a thought for some code to try this on but seem to get a number of build errors now.</div><div><br class=""></div><div><a href="http://mikehall.pairserver.com/errors10140.txt" class="">http://mikehall.pairserver.com/errors10140.txt</a></div><div><br class=""></div><div>Using the GitHub Desktop app to change to pr/10140</div><div><br class=""></div><div><br class=""></div><br class=""></body></html>