On Fri, 19 Jan 2024 08:17:00 GMT, Richard Reingruber <rr...@openjdk.org> wrote:

> Do you want to keep it then or should I open an RFE to remove it?

Maybe leave it for now as there is significant churn in this code right now, 
with more accumulating in the loom repo in advance of the monitors work.

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

PR Comment: https://git.openjdk.org/jdk/pull/17444#issuecomment-1902720581

Reply via email to