dist: merge release tag v1.5.7

This commit is contained in:
Bert Belder 2020-05-15 22:38:42 +02:00
commit 469cb335c1
No known key found for this signature in database
GPG Key ID: 7A77887B2E2ED461

Diff Content Not Available