references.bib linting error

Stream: mathlib4

[Thomas Browning]

#34451 has a linting error that I think has to do with my change to references.bib. But the error is a bit inscrutable to me, and I can't spot any issues with the reference that I added. Am I doing something wrong here?

[Yaël Dillies]

It is printing you a diff. You need to remove the lines with minuses to their left, and add the lines with pluses instead

[Thomas Browning]

Aha, hypen comes before numbers alphabetically I guess.