Integrated: TestDocComments fixes

Mon Nov 27 11:47:39 UTC 2023

On Mon, 20 Nov 2023 18:49:24 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR contains a port for:
> 
> https://github.com/openjdk/jextract/commit/0aaf75cdfe14df6f3a3f4e3d80f5384414a78ade
> 
> As well as a fix that is required by the changes in: https://git.openjdk.org/jextract/pull/137

This pull request has now been integrated.

Changeset: 02553fc8
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/02553fc854f0b4cf5ed0857c9e126abf27159108
Stats:     4 lines in 3 files changed: 0 ins; 0 del; 4 mod

TestDocComments fixes

Reviewed-by: jvernee

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

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