Checkout
Julian Foad
committed
on 02 Jan 18
On the 'shelve-checkpoint' branch: catch up with trunk@1819797.