Skip to content

Remove obsolete comment about noCI test for cone traces#4277

Merged
etpinard merged 1 commit intomasterfrom
rm-obsolete-comment-in-noci-test
Oct 15, 2019
Merged

Remove obsolete comment about noCI test for cone traces#4277
etpinard merged 1 commit intomasterfrom
rm-obsolete-comment-in-noci-test

Commits

Commits on Oct 15, 2019