Small fix to remove error from bash
Description of bug
See !2786 (merged)
Changes introduced
Tests
Dont' have bash<5 to reproduce this, so can't check. We should keep an eye on this
Issues resolved
Closes #
See !2786 (merged)
Dont' have bash<5 to reproduce this, so can't check. We should keep an eye on this
Closes #