:wqaMerge branch 'c_mitls2c' of pro.github.com:mitls/hacl-star into c_mitls2c
:wqaMerge branch 'c_mitls2c' of pro.github.com:mitls/hacl-star into c_mitls2c

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star