[m-rev.] for review: delete num_errors field of module_info

[Julien Fischer]

On Sat, 15 Jan 2022, Zoltan Somogyi wrote:

>
>
> On Sat, 15 Jan 2022 16:32:08 +1100 (AEDT), Julien Fischer
>> That's fine.
>
> Gee, that was quick! Thanks.

It wasn't a very complicated change.

Julien.