| commit | 0338e3cc0e1967db6c5fb912e0dbd306bec1d818 | [log] [tgz] |
|---|---|---|
| author | Peter Newman <peternewman@users.noreply.github.com> | Wed Jun 02 00:17:26 2021 +0100 |
| committer | GitHub <noreply@github.com> | Wed Jun 02 00:17:26 2021 +0100 |
| tree | b51c74be413379ded5ad0be79ccf6922728dc3b4 | |
| parent | f8dad0997c2ba399bcf90b24e87c886af9995203 [diff] | |
| parent | ad7211810b239ec3f7a969ef67c4e6f2a34dd8eb [diff] |
Merge pull request #1656 from jonmeow/ignore-uris Add support for ignoring spelling mistakes in URIs specifically.