[Cryptech-Commits] [releng/alpha] branch systolic_crt deleted (was 13515c8)

[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 systolic_crt
in repository releng/alpha.

     was 13515c8  Build images for Pavel's new systolic_crt code.

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