isURI: don't require non-ASCII characters to be escaped.

Closes #8508.
This commit is contained in:
John MacFarlane
2023-01-05 21:14:02 -08:00
parent 7a82686adc
commit 0d891afab6
2 changed files with 18 additions and 2 deletions
+14
View File
@@ -0,0 +1,14 @@
```
% pandoc -t man
SEE ALSO
========
* [Milk](https://en.wikipedia.org/wiki/Milk)
* [EBNF](https://en.wikipedia.org/wiki/Extended_Backus–Naur_form)
^D
.SH SEE ALSO
.IP \[bu] 2
Milk (https://en.wikipedia.org/wiki/Milk)
.IP \[bu] 2
EBNF (https://en.wikipedia.org/wiki/Extended_Backus–Naur_form)
```