Merge pull request #97 from gendx/tock-1.5

Browse Source

Upgrade to Tock-1.5-rc2

...

This commit is contained in:

gendx

2020-04-24 16:04:43 +02:00

committed by GitHub

parent d140e5a93d fb945b314e

commit dc12e10415

1 changed files with 1 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

2

third_party/tock vendored

Submodule third_party/tock updated: ba44dd690f...f1f9d717a4