Commit 0728b40c authored by Michael Albinus's avatar Michael Albinus

; Instrument auto-revert--deftest-remote

parent 173fd94c
Pipeline #1607 failed with stage
in 54 minutes and 59 seconds