On Fri, 25 Mar 2022 17:14:23 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > Looks good - should we take the change and also rename libclang_home to llvm_home? Good idea. Did that. ------------- PR: https://git.openjdk.java.net/jextract/pull/8