Open Yatajga opened 9 years ago
Hi @Yatajga, welcome to Code Contracts and to GitHub! :smile:
This issue is a duplicate of #161 and possibly #7. It will finally be fixed with #164 and #175, but you may have to perform a manual step when you upgrade next time (details will be in the release notes).