Comment 37 for bug 806291

At this point there is no way it can go on the ISOs. I'm unsubscribing the release team since there's nothing to do (pending it getting into Debian).