dist: merge release tag v1.5.3

This commit is contained in:
Bert Belder 2018-09-06 23:21:01 +02:00
commit 0857889a0f
No known key found for this signature in database
GPG Key ID: 7A77887B2E2ED461

Diff Content Not Available