Am 10.12.18 um 20:04 schrieb Johannes Schindelin via GitGitGadget:
The idea was brought up by Paul Morelle.
To be honest, this idea of rescheduling a failed exec makes so much sense
that I wish we had done this from the get-go.
The status quo was actually not that bad a decision, because it made 'x
false' as a substitute for 'break' very convenient.
But now that we have a real 'break', I'm very much in favor of flipping
the behavior over to rescheduling. (I'm actually not a user of the
feature, but the proposed behavior is so compellingly logical.)
-- Hannes
