Merge pull request #8422 from MikePetullo/pigeonhole
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 17 Mar 2019 04:51:59 +0000 (06:51 +0200)
committerGitHub <noreply@github.com>
Sun, 17 Mar 2019 04:51:59 +0000 (06:51 +0200)
pigeonhole: update to 0.5.5


Trivial merge