]> granicus.if.org Git - shadow/commitdiff
Merge pull request #162 from jtojnar/check-correct-docbook
authorChristian Brauner <christian@brauner.io>
Tue, 30 Apr 2019 18:39:22 +0000 (20:39 +0200)
committerGitHub <noreply@github.com>
Tue, 30 Apr 2019 18:39:22 +0000 (20:39 +0200)
build: Check correct DocBook version


Trivial merge