update stdarch

This commit is contained in:
Ralf Jung 2021-05-12 16:22:27 +02:00
parent 2e8e91ce25
commit 2a245e0226

@ -1 +1 @@
Subproject commit 6c4f4e1990b76be8a07bde1956d2e3452fd55ee4
Subproject commit c14e98417feb406df66e821ccd81e1293b4baa6f