Google Git
Sign in
opensecura/3p/tock/libtock-rs/0ff9f3396d89a36998f2c24208dfc2798644b156^2..0ff9f3396d89a36998f2c24208dfc2798644b156/.
commit
0ff9f3396d89a36998f2c24208dfc2798644b156
[log]
author
bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Wed Feb 19 22:48:12 2020 +0000
committer
GitHub <noreply@github.com>
Wed Feb 19 22:48:12 2020 +0000
tree
cf9be28b69d72b82fc760dd7c8620cf6ce14f4a1
parent
371334f5ccc8d2d31219fa317f05dc99bddabbc1 [diff]
parent
654a6574e4db7d3dd61f2867ad9a1acafce36a3e [diff]
Merge #149

149: Update Rust toolchain r=Woyten a=Woyten

Fixes #138 and updates the Rust toolchain s.t. it is in line with Tock OS.

Co-authored-by: Woyten <woyten.tielesch@online.de>