Processed: forcibly merging 763707 764174
Processing commands for control@bugs.debian.org:
> forcemerge 763707 764174
Bug #763707 [apt-doc] the user "_apt" different uids on different machines vs. shared filesystems
Bug #764174 {Done: Julian Andres Klode <jak@debian.org>} [apt-doc] new "_apt" owner not ready for shared mounts
Severity set to 'normal' from 'grave'
Bug reopened
Ignoring request to alter fixed versions of bug #764174 to the same values previously set
Marked as found in versions apt/1.1~exp3.
Merged 763707 764174
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
763707: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763707
764174: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=764174
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: