[Python-apps-team] Processed: Re: Bug#997208: firmware-microbit-micropython: FTBFS: platform.h:25:10: fatal error: cstddef: No such file or directory

[Debian Bug Tracking System]

Processing control commands:

> severity 998365 serious
Bug #998365 [libstdc++-arm-none-eabi-newlib] libstdc++-arm-none-eabi-newlib: Version of libstdc++-arm-none-eabi-newlib and gcc-arm-none-eabi must match or the C++ libraries can't be found
Ignoring request to change severity of Bug 998365 to the same value.
> close 997208
Bug #997208 {Done: Adrian Bunk <bunk at debian.org>} [src:firmware-microbit-micropython] firmware-microbit-micropython: FTBFS: platform.h:25:10: fatal error: cstddef: No such file or directory
Bug 997208 is already marked as done; not doing anything.

-- 
997208: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997208
998365: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=998365
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems