Sync with upstream Tock to remove the latest patch.

This commit is contained in:
Guillaume Endignoux
2020-03-05 11:24:07 +01:00
parent e52a671810
commit bf9e3620ec
3 changed files with 2 additions and 48 deletions