Riccardo Pittau 531167c2d5 Upgrade to tinycore 10.x
Upgrading tinycore from version 9.x to 10.x
This change was merged [1] and reverted [2], let's give it another
try and eventually discuss about possible issues.

[1] https://review.opendev.org/688411
[2] https://review.opendev.org/698098

Change-Id: I831b414461f77c65e34b0f357763e38e74e65e29
2020-02-10 14:55:56 +01:00
..
2020-02-10 14:55:56 +01:00
2020-02-10 14:55:56 +01:00
2019-06-12 18:54:14 +05:30
2020-02-10 14:55:56 +01:00
2020-02-10 14:55:56 +01:00
2019-06-12 18:54:14 +05:30