Skip to content

Revert "remove extraneous condor checkpoint directives"

This reverts commit b4c2e436.

Apparently, not all of those directives were so extraneous after all.

Merge request reports