confirming PR #1033 was correct in spite of the lack of signature, will fix this issue going forward

This commit is contained in:
Riccardo Spagni 2016-09-01 23:29:01 +02:00
parent 6c608c352c
commit 98d223a694
No known key found for this signature in database
GPG key ID: 55432DF31CCD4FCD

Diff content is not available