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 + 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