Merge pull request #31 from pcotret/patch-1
authorRalf Jung <post@ralfj.de>
Wed, 23 Jan 2019 20:33:48 +0000 (21:33 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Jan 2019 20:33:48 +0000 (21:33 +0100)
Cannot build docs


Trivial merge