Processed: Re: Bug#44445: upgrade fails when /usr/man and /usr/share are located on different devices

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 44445 dpkg
Bug#44445: upgrade fails when /usr/man and /usr/share are located on different   devices
Bug reassigned from package `gcc' to `dpkg'.

> severity 44445 grave
Bug#44445: upgrade fails when /usr/man and /usr/share are located on different   devices
Severity set to `grave'.

> merge 44445 42559
Bug#42559: update-alternatives does not handle cross-device move of links
Bug#44445: upgrade fails when /usr/man and /usr/share are located on different   devices
Bug#42592: failure to configure when spanning partitions
Bug#42799: update-alternatives dies renaming across filesystems
Bug#43835: gcc: update-alternatives: unable to rename /usr/man/man1/cc.1.gz to /usr/share/man/man1/cc.1.gz: Invalid cross-device link
Merged 42559 42592 42799 43835 44445.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Ian Jackson
(administrator, Debian bugs database)