On 07/10/2013 10:45 PM, Holger Levsen wrote: > please file a bug against the debian-policy package. Done, thanks! Thomas