Integrated: (jdk22 port) 7903435: TestDocComments fails on Windows

Sat Oct 21 07:03:54 UTC 2023

On Fri, 20 Oct 2023 16:37:54 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Port of https://github.com/openjdk/jextract/pull/106 for jdk 22 branch

This pull request has now been integrated.

Changeset: 0aaf75cd
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/0aaf75cdfe14df6f3a3f4e3d80f5384414a78ade
Stats:     3 lines in 3 files changed: 0 ins; 0 del; 3 mod

(jdk22 port) 7903435: TestDocComments fails on Windows

Reviewed-by: mcimadamore

-------------

PR: https://git.openjdk.org/jextract/pull/133