Changeset: e13dbc179ea5 Author: ihse Date: 2020-06-03 10:04 +0200 URL: https://hg.openjdk.java.net/jdk/sandbox/rev/e13dbc179ea5 Bug fix for arrays. ! make/jdk/src/classes/build/tools/pandocfilter/PandocManPageTroffFilter.java