Repository navigation
jextract: closureMethodName names the method of closure interfaces - #953
Open
piercifani wants to merge 1 commit into
Open
piercifani wants to merge 1 commit into
piercifani wants to merge 1 commit into
Commits
Commits on Nov 4, 2026