Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
* Add workaround to refresh issue of #1752 Adding a command which can circumvent the issues of #1752, #1759, #2228 (and possibly #1075). This command allows for a full re-run of any query on the active page. * Forgot the check-format. again
- Loading branch information