Comment 3 for bug 788073

Sounds as if this is something that *should* be fixed as it's a usability issue. All clients *should* be notified of any change to the file no matter what the change.

I believe this is one of the issues behind the "a file is no longer published" bug #1193274