petersen pushed to ghc-feed (master). "bump release"