Commit d4f112dca9106be7f19c440d30aa1167e89d5a77

Thomas de Grivel 2023-07-30T21:49:52

printf -> fprintf(stderr,