| http://www.w3.org/ns/prov#value | - While the way in which you encountered this bug is flawed (you should not edit package-owned files under /usr/share, your changes will be discarded on package upgrade), this is a bug, mainly because there is a chance that extra copies of config files will be present while dpkg is in the middle of upgrading packages.
|
