On Tue, 27 May 2025 11:19:12 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> `make/jdk/src/classes/build/tools/pandocfilter/PandocFilter.java` misses a > copyright header. Marked as reviewed by erikj (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/25463#pullrequestreview-2870888969
