GeoServer REST documentation: Parser error duplicated mapping key

Description

Several pages from the GeoServer REST Documentation give the error Parser error duplicated mapping key.

This appears to be caused by the fix for

Environment

None

Activity

Show:
Torben Barsballe
March 17, 2020, 9:40 PM

PR:

Assignee

Unassigned

Reporter

Torben Barsballe

Triage

None

Fix versions

Affects versions

None

Priority

Medium
Configure