-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
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.
