commit | 88e1231c3a9553957cb245703eefcef509f4844b | [log] [tgz] |
---|---|---|
author | Pierre-Clément Tosi <ptosi@google.com> | Fri Jul 28 09:08:28 2023 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Jul 28 09:08:28 2023 +0000 |
tree | 8fd73f9e947cdb15e59012667ce87adf39d71591 | |
parent | f814e4a24fc067a726733d6cb5ebd1bdde2aa75d [diff] | |
parent | da662b0bf0d72c228ce21fa3f51ba321f4b3ab40 [diff] |
Merge "diced: Limit availability of no_std libraries" into main