Commit 426ebf2e17bcc7dd65efb6db32f200729b1f57c4

Stefan Sperling 2019-07-25T14:54:35

fix histedit's interactive retry loop