Closes: #771316, #769602.
* debian/copyright: Record the explicit provenance of public domain
status. Thanks Ben Finney for the patch. Closes: #770249.
Closes: #771316, #769602.
* debian/copyright: Record the explicit provenance of public domain
status. Thanks Ben Finney for the patch. Closes: #770249.