SourceSize
..
patch-doc-gri.texi.diff819 B
patch-doc-texinfo2HTML.diff872 B
patch-illegal-regex.diff7.10 KB

Add shortcut

Everything looks good. We'll let you know here if there's anything you should know about.