tree 1de331a460cc6a69ac7a35801d52ba03d5411e46
parent 65a541d680525f03e7d8fc253da69be26e82e154
author June Tate-Gans <jtgans@google.com> 1698932332 +0000
committer June Tate-Gans <jtgans@google.com> 1698932385 +0000

Reinstate nanopb, since sel4test requires it

Change-Id: I38815413217e8fca331f2ae1c6f3b6fcc5a12411