severity 160848 minor
thanks

Summary:

The immediate problem is that the dpkg-divert
man page does not document the fact that --remove 
moves the diverted file back to the original filename,
even if the --rename option is not given.

Additionally, there is a wish that the behavior be
changed so that --remove does not do this unless the
--rename option is also specified.

--
Thomas Hood



Reply via email to