Merge branch 'master' into fix-nullptr-access

pull/2112/head
Kim Kulling 2018-09-02 10:51:37 +02:00 committed by GitHub
commit 417c1f418b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
9 changed files with 16378 additions and 0 deletions