Integrated: 8357842: PandocFilter misses copyright header

Tue May 27 12:38:02 UTC 2025

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.

This pull request has now been integrated.

Changeset: 72a3022d
Author:    Magnus Ihse Bursie <ihse at 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