dist: merge release tag v1.5.2

This commit is contained in:
Bert Belder 2018-07-26 03:47:03 +02:00
commit 21deebe236
No known key found for this signature in database
GPG Key ID: 7A77887B2E2ED461

Diff Content Not Available