On 06.08.2020 11:07, Julien Grall wrote: > On 06/08/2020 10:04, Jan Beulich wrote: >> Older bash fails to honor "set -e" for certain built-in commands > > "Older" is pretty vague. May I ask the exact version you run into the issue?
If I knew in what version the issue got fixed, I'd have specified that version. I've observed it with 3.2.57(2). Jan
