git: openjdk/jdk: master: 8357842: PandocFilter misses copyright header

Tue May 27 12:37:34 UTC 2025

Changeset: 72a3022d
Branch: master
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
Date:      2025-05-27 12:35:31 +0000
URL:       https://git.openjdk.org/jdk/commit/72a3022dc6a1521d8e3f08fe5d592f760fc462d2

8357842: PandocFilter misses copyright header

Reviewed-by: syan, erikj

! make/jdk/src/classes/build/tools/pandocfilter/PandocFilter.java