Merge pull request #6447 from MikePetullo/pigeonhole
authorHannu Nyman <redacted>
Tue, 10 Jul 2018 15:02:59 +0000 (18:02 +0300)
committerGitHub <redacted>
Tue, 10 Jul 2018 15:02:59 +0000 (18:02 +0300)
commitbc17c7e245efa7fa91f04b69ca9b0cbbae53245b
tree1c7818253f1f6e55d7592d790296f7aea04a7770
parente146db291ff2ec098d0bc296612a0ff2743579dd
parent46388f1c24d8f2561bcdb8aa723a6e5405e8e9d7
Merge pull request #6447 from MikePetullo/pigeonhole

pigeonhole: update to 0.5.2
git clone https://git.99rst.org/PROJECT