-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
The default gdc still points to 4.1, gdc-4.2 never was part of a stable release,
so it shouldn't hurt to remove it from unstable.
