Checkout
Julian Foad
committed
on 15 Dec 17
On the 'shelve-checkpoint' branch: Catch up with trunk@1818270.