Processed: Bug#630174: debian-policy: forbid installation into /lib64

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> user debian-policy@lists.debian.org
Setting user to debian-policy@lists.debian.org (was plessy@debian.org).
> tag 630174 + patch
Bug #630174 [debian-policy] debian-policy: forbid installation into /lib64
Added tag(s) patch.
> usertags 630174 + normative
Bug#630174: debian-policy: forbid installation into /lib64
There were no usertags set.
Usertags are now: normative.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
630174: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=630174
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems