Merge remote-tracking branch 'origin/update-checkpoint-files' into update-checkpoint-files

# Conflicts:
#	gradle/witness/gradle-witness.gradle
This commit is contained in:
Manfred Karrer 2018-12-06 17:21:51 +01:00
commit 87198f2f2a
No known key found for this signature in database
GPG key ID: 401250966A6B2C46

Diff content is not available