third_party/fiat: replace `memcpy` with `OPENSSL_memcpy`#1778

Merged

briansmith merged 1 commit intobriansmith:mainfrom gaojiaqi7:1030/use_openssl_memcpy

Oct 31, 2023

+1-2

Commits on Oct 30, 2023

third_party/fiat: replace memcpy with OPENSSL_memcpy
gaojiaqi7
committed