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. This pull request has now been integrated. Changeset: 72a3022d Author: Magnus Ihse Bursie <i...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/72a3022dc6a1521d8e3f08fe5d592f760fc462d2 Stats: 23 lines in 1 file changed: 23 ins; 0 del; 0 mod 8357842: PandocFilter misses copyright header Reviewed-by: syan, erikj ------------- PR: https://git.openjdk.org/jdk/pull/25463