[moring]

For clarification, by "df has a bug" I meant that it doesn't produce the result it should given the situation, but not necessarily that the problem is located in df's own source code, vs. the kernel, other process, library etc.

[dylan604]

if the system is not reporting the space as free, then how in the world does the bug belong to df. it is the system not reporting it correctly.