A new version of shake was released March 26. Reproducible: Always
No one is interested in this? I just did post this because shake-0.99 didn’t work (crashed).
Thansk for the report! And sorry for the delay, I am the only maintainer and was away for some time shake-0.999 is now in tree, enjoy