Your message dated Thu, 28 Nov 2013 18:06:37 +0100 with message-id <5297781D.1010600@bernhard-voelker.de> and subject line Re: bug#15986: df in current coreutils shows the device for loop mounts, not the file has caused the debbugs.gnu.org bug report #15986, regarding df in current coreutils shows the device for loop mounts, not the file to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 15986: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15986 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems