Merge pull request #1034

98d223a confirming PR #1033 was correct in spite of the lack of signature, will fix this issue going forward (Riccardo Spagni)
This commit is contained in:
Riccardo Spagni 2016-09-01 23:29:56 +02:00
commit 04906e67ba
No known key found for this signature in database
GPG Key ID: 55432DF31CCD4FCD

Diff Content Not Available