Merge pull request #7428 from neheb/patch-11
authorHannu Nyman <hannu.nyman@iki.fi>
Sat, 17 Nov 2018 08:21:45 +0000 (10:21 +0200)
committerGitHub <noreply@github.com>
Sat, 17 Nov 2018 08:21:45 +0000 (10:21 +0200)
python3-bottle: Update to 0.12.13


Trivial merge