Merge branch 'Mario/cts_checkpoint_speedup' into 'master'
authorMario <zacjardine@y7mail.com>
Tue, 16 May 2017 22:17:10 +0000 (22:17 +0000)
committerMario <zacjardine@y7mail.com>
Tue, 16 May 2017 22:17:10 +0000 (22:17 +0000)
commitdecae9170e9c82c24a2f9a4fa524c866c8e3d36e
tree3a91c38d545cc242a350d871399189d04453483a
parent63ab06764e6e0a20481ab406863eb7bca32cb669
parent595b8c7a015b8c41a8180c8d08b1a0a2cdb89ecd
Merge branch 'Mario/cts_checkpoint_speedup' into 'master'

Merge branch Mario/cts_checkpoint_speedup (S merge request)

See merge request !440