Link to #minimal-pragma from release notes
Link to #minimal-pragma from release notes

(cherry picked from commit 9f607eeb6227635a219b316926891e825557682c)
Signed-off-by: Herbert Valerio Riedel <202fbcf3c00694524024feb79f3bb8fc1c4e4f9c@gnu.org>

lukexi/ghc-7.8-arm64,hferreiro/replay,hferreiro/replay,hferreiro/replay,lukexi/ghc-7.8-arm64,lukexi/ghc-7.8-arm64,hferreiro/replay,hferreiro/replay,hferreiro/replay,lukexi/ghc-7.8-arm64,hferreiro/replay,lukexi/ghc-7.8-arm64