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

[Debian Bug Tracking System]

Processing control commands:

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

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