On Tue, 27 May 2025 11:19:12 GMT, Magnus Ihse Bursie <ihse at 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