[pgadmin-org/pgadmin4] 70b2ea: Ensure that the schema diff tool should not allow ...

[Akshay Joshi]

  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.jo...@enterprisedb.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