Open amnaredo opened 2 years ago
Hello @lihaoyi
I'm not sure in what sense you wrote "it isn't used". In my setup it actually lands in the optimised JS file, adding ~300kB.
I'm trying to exclude it from the dependency tree without much luck so far. Sadly, this makes upgrade from 0.6.7 to 0.7.x a no-go for us. Original Author: pioorg
It isn't used, probably just an accident ID: 255 Original Author: lihaoyi