On Mon, 13 May 2024 13:23:03 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > This PR reintroduces the `bin` folder for jextract launcher scripts. Marked as reviewed by jvernee (Committer). ------------- PR Review: https://git.openjdk.org/jextract/pull/242#pullrequestreview-2067602453