Merge remote branch 'origin/master' into ghc-generics