Loading...

XML

Word

Printable

Type: Bug
Resolution: Fixed
Priority: P3
Fix Version/s: 12
Affects Version/s: 12
Component/s: infrastructure
Labels:
- build-infra

Subcomponent:
build
Resolved In Build:
b28

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

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.)

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

Assignee:: Jonathan Gibbons

Reporter:: Magnus Ihse Bursie

Votes:: 0 Vote for this issue

Watchers:: 1 Start watching this issue

Created:: 2018-12-12 10:36

Updated:: 2019-01-16 16:10

Resolved:: 2019-01-09 08:51

Details

Backports

Description

Attachments

Issue Links

Activity

People

Dates