Re: [commit: ghc] master: Deprecate the AMP warnings. (3608f65)