Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: 70b2ead852e9769019ce2741af48b92284bb2fe7
https://github.com/pgadmin-org/pgadmin4/commit/70b2ead852e9769019ce2741af48b92284bb2fe7
Author: Akshay Joshi <akshay(dot)joshi(at)enterprisedb(dot)com>
Date: 2023-03-24 (Fri, 24 Mar 2023)
Changed paths:
M docs/en_US/release_notes_7_0.rst
M web/pgadmin/browser/__init__.py
M web/pgadmin/tools/schema_diff/__init__.py
Log Message:
-----------
Ensure that the schema diff tool should not allow comparison between Postgres Server and EDB Postgres Advanced Server. #5952