]> granicus.if.org Git - pgbouncer/commitdiff
Merge pull request #260 from petere/doc-fixes
authorPetr Jelinek <pjmodos@pjmodos.net>
Fri, 15 Dec 2017 16:38:27 +0000 (17:38 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Dec 2017 16:38:27 +0000 (17:38 +0100)
detect and fix errors in documentation sources


Trivial merge