[Cryptech-Commits] [sw/stm32] branch ks9 deleted (was a93c94f)

[git at cryptech.is]

This is an automated email from the git hooks/post-receive script.

sra at hactrn.net pushed a change to branch ks9
in repository sw/stm32.

     was a93c94f  Stub out hal_allocate_static_memory() to avoid linker error.

The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.