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

Zoltan Somogyi zoltan.somogyi at runbox.com
Sat Jan 15 16:36:37 AEDT 2022



On Sat, 15 Jan 2022 16:32:08 +1100 (AEDT), Julien Fischer 
> That's fine.

Gee, that was quick! Thanks.

Zoltan.




More information about the reviews mailing list