Skip to content

users-guide: Drop old release notes

users-guide: Drop old release notes

This commit is for the ghc-8.8 branch.

[skip ci]

Merge request reports