Hello,
I followed the instructions on the front page. I tried to push to `/refs/mob/...` but it was refused. It seems my patch is at the tip of `mob` right now.
The commit is: 3ead10dd94d7080b54c20da1eb07c7b383fda058
I was trying to build `tcc` on OBS (
build.opensuse.org), from `mob`, for multiple distros, and I had lots of issues, until I implemented this patch. It seemed appropriate to submit it here. Sorry if I broke someone else's pipelines.