Checkout
Julian Foad
committed
on 18 Jan 18
On the 'shelve-checkpoint' branch: Catch up to trunk@1821508.