GitBucket
bump the toolchain version we use #35
Merged
Jookia
merged 1 commit
into
LuminaSensum:unstable
from LuminaSensum:WIP_toolchain
on 2 Jan 2021
This simply is a PR to update to the latest bleeding edge toolchain from bootlin. I've tested this in my own branch and I see nothing that indicates a breakage with the new toolchain, but let me know what you think.
bump the toolchain version we use
672d2c9intounstablefromWIP_toolchainon 2 Jan 2021