Comment # 22 on bug 1213353 from Christian Boltz

The good news is that I never had bash crashing since then.

The "bad" news is that this means that single crash will stay a mystery - with
no way to reproduce it, finding out what happened is more or less impossible.
On the positive side, let's assume it really was a one-time issue and hopefully
won't happen again.

To sum it up: feel free to close as "worksforme" ;-)