The wiki article says that in Nottinghamshire, they're traditionally accompanied by mint sauce.

In my opinion, putting mint together with mushy peas is quite widespread and not contained within Nottinghamshire. I actually had no idea it was a Nottinghamshire thing prior to seeing this wiki article, and just assumed it was widely common (I do not live in Nottinghamshire).