You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This has been implemented before by @szotp at #2033 but wasn't merged. If we have to have something, this feels like a better option than the more destructive restart added in the last version.
The text was updated successfully, but these errors were encountered:
DanTup
changed the title
Provide an option to force reanalysis
Provide an command to force reanalysis
Aug 4, 2020
See #2663 (comment).
This has been implemented before by @szotp at #2033 but wasn't merged. If we have to have something, this feels like a better option than the more destructive restart added in the last version.
The text was updated successfully, but these errors were encountered: