policy-bug-report: remove debugging criteria & note known bug
[debian-policy.git] / tools / 
tree147dd4f8ddb20ea342bc6f05ff230b441e453ee5
drwxr-xr-x   ..
-rwxr-xr-x 5872 license-count
-rwxr-xr-x 3709 policy-bug-report