Merge pull request #6265 from MikePetullo/pigeonhole
authorHannu Nyman <redacted>
Sun, 10 Jun 2018 20:28:46 +0000 (23:28 +0300)
committerGitHub <redacted>
Sun, 10 Jun 2018 20:28:46 +0000 (23:28 +0300)
pigeonhole: update to 0.5.1


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