[debbugs-tracker] Processed: Re: bug#34143: [coreutils 8.28] du -x is reporting a lower disk usage for /mnt when partitions are mounted

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 34143 notabug
Bug #34143 [coreutils] [coreutils 8.28]  du -x is reporting a lower disk usage 
for /mnt when partitions are mounted
Added tag(s) notabug.
> close 34143
bug#34143: [coreutils 8.28]  du -x is reporting a lower disk usage for /mnt 
when partitions are mounted
bug closed, send any further explanations to
address@hidden and "Joseph Paul" <address@hidden>

> stop
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/