Merge pull request #5373 from MikePetullo/pigeonhole
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 8 Jan 2018 07:19:44 +0000 (09:19 +0200)
committerGitHub <noreply@github.com>
Mon, 8 Jan 2018 07:19:44 +0000 (09:19 +0200)
pigeonhole: update to 0.4.21


Trivial merge