Merge pull request #7556 from MikePetullo/pigeonhole
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 2 Dec 2018 16:47:37 +0000 (18:47 +0200)
committerGitHub <noreply@github.com>
Sun, 2 Dec 2018 16:47:37 +0000 (18:47 +0200)
pigeonhole: update to 0.5.4


Trivial merge