Merge pull request #9271 from jpellegrini/master
authorRosen Penev <rosenp@gmail.com>
Fri, 5 Jul 2019 05:51:40 +0000 (22:51 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Jul 2019 05:51:40 +0000 (22:51 -0700)
chicken: upgrade to 5.1.0  change Makefile license


Trivial merge