Closed ido-krupkin-zooz closed 2 years ago
Woops, I didn't notice this until looking for another issue, but I found the same. This can be resolved with #197, although granted you have some more useful shell modifications in the Makefile
I didn't include.
hi the diffs to fix it