On Sat, May 8, 2021 at 6:42 PM Edmundo Carmona Antoranz <eantoranz@xxxxxxxxx> wrote: > > Modify some error messages so that the symbolic error value be > printed instead of a numeric value. > --- I wonder if this is more or less what Dan and Christophe were talking about.