Small enough change to the bash script that we can live without botoing it. I can't eyeball verify it works but trust manual runs have confirmed some amount of sanity.
« Back to merge proposal
Small enough change to the bash script that we can live without botoing it. I can't eyeball verify it works but trust manual runs have confirmed some amount of sanity.