Merge pull request #10054 from flyn-org/pigeonhole
authorRosen Penev <redacted>
Tue, 24 Sep 2019 22:08:30 +0000 (15:08 -0700)
committerGitHub <redacted>
Tue, 24 Sep 2019 22:08:30 +0000 (15:08 -0700)
pigeonhole: update to 0.5.7.2


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