Skip to content

Improve the error message for corrections which aren't lower-case unique - #1493

Merged
larsoner merged 1 commit into
masterfrom
peternewman-lower-case-unique
Apr 30, 2020
Merged

Improve the error message for corrections which aren't lower-case unique#1493
larsoner merged 1 commit into
masterfrom
peternewman-lower-case-unique

Conversation

@peternewman

Copy link
Copy Markdown
Collaborator

No description provided.

@larsoner
larsoner merged commit e2a5acb into masterApr 30, 2020
@larsoner
larsoner deleted the peternewman-lower-case-unique branch April 30, 2020 15:13
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@peternewman@larsoner