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)
commit3fba9b0d5d8e7a4162207eba3e8c258374221add
tree8e296d21caed3354593cbf910a928d5d511d7277
parent62b0c876bd6ea3a5815db45cbce690339ca7a535
parent3ae5619974d93ae45c016cd5ab7fe78cd755a9d0
Merge pull request #7556 from MikePetullo/pigeonhole

pigeonhole: update to 0.5.4