pgAdmin 4 commit: Fixed a schema diff issue in which user mappings were - Mailing list pgadmin-hackers

Fixed a schema diff issue in which user mappings were not compared correctly. Fixes #6956

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=1af431dcc2dc2c9bf50b783cadca2adcec690022

Modified Files
--------------
docs/en_US/release_notes_6_6.rst                   |  1 +
.../foreign_servers/user_mappings/__init__.py      | 10 ++++++-
.../user_mappings/sql/default/properties.sql       |  2 +-
web/pgadmin/tools/schema_diff/directory_compare.py | 34 +++++++++++++++++++---
web/pgadmin/utils/constants.py                     |  1 +
5 files changed, 42 insertions(+), 6 deletions(-)