On Tue, 8 Oct 2024 15:09:15 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> Wouldn't this better be done in the getDefaultBlockTags method above so we > don't have to override getBlockTags? I think you're right, I didn't notice this as I was too concerned trying to do micro-optimisations ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20918#discussion_r1792186586
