Control: tag -1 + pending Hi Helmut,
Helmut Grohne (2021-01-27): > As such, both can be annotated <!nocheck> and thus become irrelevant > to cross building and bootstrapping. Please consider applying the > attached patch. Good catch and thanks for the patch! I'll upload ASAP. Have a nice day, i.
