Merge pull request #8422 from MikePetullo/pigeonhole
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 17 Mar 2019 04:51:59 +0000 (06:51 +0200)
committerGitHub <noreply@github.com>
Sun, 17 Mar 2019 04:51:59 +0000 (06:51 +0200)
commit6514d4415e11d742091c81033899a77fcf2540cc
tree3fbd9a524caceffeecf2911bc98d17883c2cf057
parent4054ac739f68e50c2366bc4e3047d5b17c33c144
parentb39f8980a4dbba02dd0e4be08f565888f338a9e5
Merge pull request #8422 from MikePetullo/pigeonhole

pigeonhole: update to 0.5.5