Processed: Re: merged /usr considered harmful (was Re: Bits from the Technical Committee)

2021-07-20 Thread Debian Bug Tracking System
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:

Processed: Re: merged /usr considered harmful (was Re: Bits from the Technical Committee)

2021-07-20 Thread Debian Bug Tracking System
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: