Merge pull request #7428 from neheb/patch-11
authorHannu Nyman <redacted>
Sat, 17 Nov 2018 08:21:45 +0000 (10:21 +0200)
committerGitHub <redacted>
Sat, 17 Nov 2018 08:21:45 +0000 (10:21 +0200)
python3-bottle: Update to 0.12.13


Trivial merge
git clone https://git.99rst.org/PROJECT