[m-rev.] for post-commit review: help diagnose unique/mostly_unique mismatches

[Peter Wang]

On Mon, 17 May 2021 13:23:48 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> The only thing worth reviewing is probably the extra text
> we now print for such errors. Peter, if you tell me when you
> intend to commit your change to mode_errors.m, I am willing
> to wait for that.
> 
> Zoltan.

I've pushed it now.

Peter