On Fri, 12 Jun 2020 18:05:05 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > This fixes the javadoc mix up with charsets. Marked as reviewed by henryjen (Committer). ------------- PR: https://git.openjdk.java.net/panama-foreign/pull/203