Merge branch '0.7.5-abi-check'
authorJonathan Dieter <jdieter@gmail.com>
Wed, 11 Jul 2018 13:51:07 +0000 (14:51 +0100)
committerJonathan Dieter <jdieter@gmail.com>
Wed, 11 Jul 2018 13:51:07 +0000 (14:51 +0100)

Trivial merge