WP31s error recovery

[Bit]

(03-04-2015 06:22 AM)Paul Dale Wrote:  I'm not going to get a chance to look at this very quickly. Marcus? Bit?

Although the UNDO feature is tricky, fixing this particular issue is not very difficult. If Walter (or someone else in charge of the 31S) confirms what behavior we really need, I can definitely make that happen. However, I'm very snowed under at the moment, so it might take a week or two.