Skip to content

Makefile: use stable rustc to install elf2tab#486

Merged
ppannuto merged 1 commit into
tock:masterfrom
lschuermann:dev/elf2tab-pin-rustc
Aug 1, 2023
Merged

Makefile: use stable rustc to install elf2tab#486
ppannuto merged 1 commit into
tock:masterfrom
lschuermann:dev/elf2tab-pin-rustc

Commits

Commits on Aug 1, 2023