On Tue, 2 May 2023 12:21:01 GMT, Julian Waters <jwat...@openjdk.org> wrote:
> Is the globalDefinitions declaration what you're referring to? Yes. I'm not clear on the background to all these PRI* format modifiers - all seems rather convoluted. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13740#issuecomment-1532570837
