merge 46657 39490 thanks I'm sorry. I checked too late if the bug already exists.
Besides, I think it should really be fixed because of the reference in the packaging manual (unfortunately I can't write this man page, because I don't know dpkg-divert good enough - I wanted to learn about it from the man page ;-) Greetings, Ulf
