Checkout
Julian Foad
committed
on 16 Apr 18
On the 'shelve-checkpoint' branch: catch up with trunk@1829286.