Re: r42Gamma3 was: What to do with a MagmaCommitError