Commit 2023-03-27 13:30 b3062410
View on Github →chore: strip trailing spaces in Data.Polynomial.RingDivision (#3126)
This was introduced in #3029, due to a combination of mathport emitting trailing spaces, and the PR author not using an editor that strips them automatically (unlike vscode which does).