Processed: Re: 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

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

Processing commands for control@bugs.debian.org:

> reassign 43835 dpkg
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
Bug reassigned from package `gcc' to `dpkg'.

> severity 42559 grave
Bug#42559: update-alternatives does not handle cross-device move of links
Severity set to `grave'.

> severity 42592 grave
Bug#42592: failure to configure when spanning partitions
Severity set to `grave'.

> severity 42799 grave
Bug#42799: update-alternatives dies renaming across filesystems
Severity set to `grave'.

> merge 43835 42559 42592 42799
Bug#42559: update-alternatives does not handle cross-device move of links
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.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Ian Jackson
(administrator, Debian bugs database)