GitLab

* doc/lispref/nonascii.texi (Character Properties): Character properties fix
for decimal-digit-value and digit-value.