On Thu, 2021-12-30 at 15:16 +0100, Reto wrote:
> Do you want me to file a bug report somewhere?

You can create a bug, with or without creating an account, on Savannah:

https://savannah.gnu.org/bugs/?group=make&func=additem

Thanks!


Reply via email to