Processed: Re: merged /usr considered harmful (was Re: Bits from the Technical Committee)
Processing commands for cont...@bugs.debian.org: > archive 978636 Bug #978636 {Done: Sean Whitton } [tech-ctte] move to merged-usr-only? archived 978636 to archive/36 (from 978636) > thanks Stopping processing here. Please contact me if you need assistance. -- 978636: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=978636 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
Processed: Re: merged /usr considered harmful (was Re: Bits from the Technical Committee)
Processing commands for cont...@bugs.debian.org: > unarchive 978636 Bug #978636 {Done: Sean Whitton } [tech-ctte] move to merged-usr-only? Unarchived Bug 978636 > thanks Stopping processing here. Please contact me if you need assistance. -- 978636: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=978636 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems