git: openjdk/mobile: 2 new changesets

[duke]

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/mobile/commit/72a3022dc6a1521d8e3f08fe5d592f760fc462d2

8357842: PandocFilter misses copyright header

Reviewed-by: syan, erikj

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

Changeset: 363c44db
Branch: master
Author:    duke <duke at openjdk.org>
Date:      2025-05-27 12:36:13 +0000
URL:       https://git.openjdk.org/mobile/commit/363c44db80652f3baa032776b370dcc61bf7c442

Automatic merge of jdk:master into master