fix for no-std#13

Open

brenzi wants to merge 3 commits into

cesarb:mainfrom

Commits on May 16, 2019

!trying to fix no-std
Alain Brenzikofer
committed
!trying to fix no-std
Alain Brenzikofer
committed
! probably fixing no-std
Alain Brenzikofer
committed