Merge pull request #6265 from MikePetullo/pigeonhole
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 10 Jun 2018 20:28:46 +0000 (23:28 +0300)
committerGitHub <noreply@github.com>
Sun, 10 Jun 2018 20:28:46 +0000 (23:28 +0300)
commite794877106e0c5b6616779c7a0924cbe5d82b3f8
treee0c828f2c5c9a00c874ae0b443a1de97170ac6a8
parenta5c8ace86aa037793be79cf8a6d645eff792676a
parent56584384d4a5c6de76beea8d133a81d36b6e077c
Merge pull request #6265 from MikePetullo/pigeonhole

pigeonhole: update to 0.5.1