On Tue, 27 May 2025 16:31:47 GMT, Justin Lu <j...@openjdk.org> wrote:
>> @justin-curtis-lu Are these files handled by the translation team? > > @magicus The ones under java.xml and jdk.jdi are updated by the translation > team, I think it'd be best to remove those files from this change. I have now reverted the changes in java.xml and jdk.jdi. I still think these changes should be made, but it should apparently go through the translation team. @justin-curtis-lu Can you help me file a bug report so this gets done? I'm not sure how to do that. Basically, they will need to revert 5a5d7b7b13158c3b35ed9c433e6fdc34aa20b73d. ------------- PR Comment: https://git.openjdk.org/jdk/pull/25229#issuecomment-2955820392
