Processing commands for [email protected]:

> forcemerge 763707 764174
Bug #763707 [apt-doc] the user "_apt" different uids on different machines vs. 
shared filesystems
Bug #764174 {Done: Julian Andres Klode <[email protected]>} [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 [email protected] with problems


--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to