Hi, IIRC, I once imported devel/ivy, but never updated it since it hit version 2.x (because there where issues with ivy-2.x at my former employer and because it became a little bit bloated).
I guess people using ivy for real can as well just grab it from
upstream.
Ok for removing it?
Ciao,
Kili
