tree a828f7b6a42710ed6ffc13404cbb4d13d508ee64
parent 944b63eed684e481b092f16e9089789c4042fd09
author Guillaume Endignoux <guillaumee@google.com> 1593164347 +0200
committer Guillaume Endignoux <guillaumee@google.com> 1593164347 +0200

s/alloc_init()/libtock_alloc_init()/g