On Sun, 22 Oct 2023 12:31:56 GMT, Weijun Wang <weijun at openjdk.org> wrote: > add the tag when snippet is generated. Thanks! ------------- Marked as reviewed by mcimadamore (Committer). PR Review: https://git.openjdk.org/jextract/pull/137#pullrequestreview-1692171919