fix compilation with arm-none-eabi 8.3.1 20190703 on Debian unstable
tree6022b025012acace24ee4d8315dde7ebd69a6459
-rw-r--r-- 502 .gitignore
-rw-r--r-- 52 .gitreview
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - include
drwxr-xr-x - src