Merge pull request #10229 from flyn-org/pigeonhole
authorRosen Penev <rosenp@gmail.com>
Mon, 14 Oct 2019 16:27:10 +0000 (09:27 -0700)
committerGitHub <noreply@github.com>
Mon, 14 Oct 2019 16:27:10 +0000 (09:27 -0700)
commitbdd4748350dd2d91a5064f90d31f36fe5f21269f
treed698b6c48d5f7ca65e7c4afbdb7feb63c6160c80
parentfd5df13ac3bda7fad314f79ef92bb351fbc75d49
parentcfcdade87d41a6433ae8ec4eed572fa529895bbd
Merge pull request #10229 from flyn-org/pigeonhole

pigeonhole: update to 0.5.8