[pgadmin-org/pgadmin4] edd178: Fixed an issue where ignore owner is not working w...

[Akshay Joshi]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: edd1783353b9de9ddd120c5945472fd475c7b88d
      
https://github.com/pgadmin-org/pgadmin4/commit/edd1783353b9de9ddd120c5945472fd475c7b88d
  Author: Akshay Joshi <akshay.jo...@enterprisedb.com>
  Date:   2023-08-16 (Wed, 16 Aug 2023)

  Changed paths:
    M web/pgadmin/tools/schema_diff/directory_compare.py

  Log Message:
  -----------
  Fixed an issue where ignore owner is not working when owner and grants both 
are different