dist: merge release tag v1.5.1

This commit is contained in:
Bert Belder 2018-06-06 12:30:24 -07:00
commit 5dacd46a94
No known key found for this signature in database
GPG Key ID: 7A77887B2E2ED461

Diff Content Not Available