Skip to content

java_library: output JNI headers generated by javac#13

Draft
chrisnovakovic wants to merge 3 commits intoplease-build:masterfrom
chrisnovakovic:java_library-jni-headers
Draft

java_library: output JNI headers generated by javac#13
chrisnovakovic wants to merge 3 commits intoplease-build:masterfrom
chrisnovakovic:java_library-jni-headers

Commits

Commits on Aug 9, 2022