Revert "Merge #116"

[kaspar030]

It pains me a lot but the bad debian newlib package won't be fixed in time for the hard freeze, and neither will we sort out the issues with picolibc as default, in the week before x-mas. :(

This reverts commit 20529a8 (#116), reversing changes made to 604bc23.

[aabadie]

I would prefer to only revert the commits related to #116, e.g c49165b, dc6e40f, 1afc188 and 1d52cae

[aabadie]

Hmm, this PR does this (same diff), so OK :)

[kaspar030]

I would prefer to only revert the commits related to #116, e.g c49165b, dc6e40f, 1afc188 and 1d52cae

This is git revert -m1 20529a8aa6996c784e2ca2921e1356ee1fcdd5ee, then manually fixing a conflict in the packages.
What else did get removed? Was it the installation of the c++ packages?

edit simultaneous typing

[aabadie]

Could you test locally if that fixes the size increase ? (I'm still building the Docker image...)

[aabadie]

I tested locally and I confirm that the Docker images generated with the changes in this PR fixes the code size increase.

ACK

[aabadie]

bors merge

[bors]

Build succeeded:

• Build and Test