Merge pull request #359 from MartinNowak/merge_stable

Merge remote-tracking branch 'upstream/stable' into merge_stable
This commit is contained in:
Martin Nowak 2018-08-17 01:31:05 +02:00 committed by GitHub
commit c3ee76ed0a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

Diff content is not available