mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
2) Fixed an issue where closing the query tool panel throws an error. 3) Fixed schema diff close panel issue.
2) Fixed an issue where closing the query tool panel throws an error. 3) Fixed schema diff close panel issue.