·
3 commits
to master
since this release
This release is a maintenance release that fixes a bug and make it easier to resize the query window.
This release is a maintenance release that fixes a bug and make it easier to resize the query window.