"dpkg-divert --remove" always moves the diverted file
back to the original name.  Is this a bug, or should
the behavior simply be documented?

--
Thomas



Reply via email to