]> granicus.if.org Git - docbook-dsssl/commitdiff
Merge pull request #161 from ndw/random-fixes
authorNorman Walsh <ndw@nwalsh.com>
Sat, 5 Oct 2019 01:08:01 +0000 (20:08 -0500)
committerGitHub <noreply@github.com>
Sat, 5 Oct 2019 01:08:01 +0000 (20:08 -0500)
Random fixes


Trivial merge