Job #154758 failed for 2877de0d:
added critical label
We should ditch gaudirun.py and optionsfiles: turn the options files into python programs.
assigned to @whit
closed
mentioned in commit 7df12ae2
