Commit 7204769b60a8602ee5389800c7a5869b5e0de6e5

Theo Buehler 2023-06-25T14:06:59

ech_local.h was removed