Details
-
Type:
Bug
-
Status: Resolved
-
Priority:
P3
-
Resolution: Fixed
-
Affects Version/s: 12
-
Fix Version/s: 12
-
Component/s: infrastructure
-
Labels:
-
Subcomponent:
-
Resolved In Build:b28
Backports
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8216457 | 13 | Jonathan Gibbons | P3 | Resolved | Fixed | b03 |
JDK-8217069 | 12.0.1 | Jonathan Gibbons | P3 | Resolved | Fixed | b03 |
Description
The javascript filter in pandoc-html-manpage-filter.js does not work properly for unpack200.md or pack200.md. (An educated guess is that it will not work for any man page with numbers in the name.)
Attachments
Issue Links
- backported by
-
JDK-8216457 pandoc-html-manpage-filter.js does not work for [un]pack200
-
- Resolved
-
-
JDK-8217069 pandoc-html-manpage-filter.js does not work for [un]pack200
-
- Resolved
-