Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
degenerates: warning on whitespace with diacritics could be better #5430
Does a space-with-diacritic grapheme count as whitespace, for the purposes
I think it should be consistent.