Processed: Re: elmer: fails to remove: rmdir: failed to remove '/usr/share/ElmerGUI/edf': Directory not empty

Debian Bug Tracking System owner at bugs.debian.org
Tue Feb 11 21:57:09 UTC 2014


Processing control commands:

> tags -1 + fixed pending
Bug #720146 [elmer] elmer: fails to remove: rmdir: failed to remove '/usr/share/ElmerGUI/edf': Directory not empty
Added tag(s) fixed and pending.

-- 
720146: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=720146
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the debian-science-maintainers mailing list