This removes some directives from experimenting with checkpointing.
Pipeline #65596 passed
Pipeline passed for b4c2e436 on james-clark:vanilla-checkpointing-cleanup 5 years ago
Merge details
Pipeline #65597 passed
Pipeline passed for 95e2ff69 on master 5 years ago
merged
mentioned in commit 95e2ff69