On Wed, 8 Feb 2023 07:31:15 GMT, Adam Sotona <asot...@openjdk.org> wrote:
> Any reference to an official specification of CharacterRangeInfo is > appreciated. Thanks. There's this - which points back to javac code :-) https://github.com/jacoco/jacoco/wiki/CharacterRangeTable ------------- PR: https://git.openjdk.org/jdk/pull/10982