Merge pull request #6447 from MikePetullo/pigeonhole
authorHannu Nyman <redacted>
Tue, 10 Jul 2018 15:02:59 +0000 (18:02 +0300)
committerGitHub <redacted>
Tue, 10 Jul 2018 15:02:59 +0000 (18:02 +0300)
pigeonhole: update to 0.5.2


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