[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
Severity set to 'serious' from 'important'
> close 997208
Bug #997208 [src:firmware-microbit-micropython] firmware-microbit-micropython: FTBFS: platform.h:25:10: fatal error: cstddef: No such file or directory
Marked Bug as done

-- 
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