On Tue, 28 Mar 2023 13:36:38 GMT, Alan Bateman <al...@openjdk.org> wrote:

> I think you should be able to finalize the CSR JDK-8304458.

Thanks for the gentle nudge, Alan.

I was actually not aware that finalization could be initiated by the assignee! 
I've seen the CSR lead handle this workflow previously. I pressed the 
"Finalize" button.

> I think it would be good to remove "java.compiler" from the list of standard 
> properties (table in System.getProperties) in the same release.

Yes, these seem closely related.

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

PR Comment: https://git.openjdk.org/jdk/pull/13092#issuecomment-1487357673

Reply via email to