I stumbled over the very same issue. It seems actually be a topic for ubuntu rather than debian.
I've filed a bug report also for ubuntu:
https://bugs.launchpad.net/ubuntu/+source/gcc-arm-none-eabi/+bug/1804922
I stumbled over the very same issue. It seems actually be a topic for ubuntu rather than debian.
I've filed a bug report also for ubuntu:
https:/ /bugs.launchpad .net/ubuntu/ +source/ gcc-arm- none-eabi/ +bug/1804922