8.10 Release notes for improvements to the pattern-match checker

A little late to the game, but better late than never.

@bgamari, I hope this isn't too much of a headache to merge into the release...

changed milestone to %8.10.1

added pattern match warnings label

No worries; thanks @sgraf812 ! Just fix Gabor's comment and we can get this merged.

approved this merge request

added 1 deleted label

added 1 commit

• 873e7847 - 8.10 Release notes for improvements to the pattern-match checker [skip ci]

Compare with previous version

assigned to @marge-bot

I will attempt to batch this MR (!2663 (closed))...

Merged in f0fd72ee

closed

Present in %8.10.1 as 4f3db327.

removed 1 deleted label