chore: cleanup after fixing eigen<>echo integration#888

gkartalis merged 1 commit intomainartsy/echo:mainfrom

gkartalis/cleanup-after-fixing-eigen-echoartsy/echo:gkartalis/cleanup-after-fixing-eigen-echoCopy head branch name to clipboard