![](https://secure.gravatar.com/avatar/7587bc8df96ce7e098ae429deb38c5dc.jpg?s=120&d=mm&r=g)
13 Jun
2024
13 Jun
'24
10:03 p.m.
On Thu, Jun 13, 2024, 10:01 PM Amit Levy <amit@amitlevy.com> wrote:
Vote on "TRD: Tock Storage Permissions" ( https://github.com/tock/tock/pull/4021) - Don't need - Approve - Change - Need more discussion (and if so what)?
+1
_______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org