Merge pull request #25 from CHERIoT-Platform/hlefeuvre/harden-allocat… · CHERIoT-Platform/network-stack@19a6322

Server does not allow request for unadvertised object 79c060eea3eea1257797f15ea1608a9a9923aa6f

Fetched in submodule path 'third_party/BearSSL', but it did not contain 79c060eea3eea1257797f15ea1608a9a9923aa6f. Direct fetching of that commit failed.

The process '/usr/bin/git' failed with exit code 128