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


Trivial merge