This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The file prod/MapConstructor.xml is not in the CVS
Sorry, usual CVS problem. Now fixed.