[pgadmin-org/pgadmin4] 8dd8d1: Fixed an issue where ERD Tool can't load the saved...

[San Lin Naing]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 8dd8d1d03a7cf68bd78020addcfd45b5b9d27ee2
      
https://github.com/pgadmin-org/pgadmin4/commit/8dd8d1d03a7cf68bd78020addcfd45b5b9d27ee2
  Author: San Lin Naing <sanlinnaing2...@gmail.com>
  Date:   2023-07-13 (Thu, 13 Jul 2023)

  Changed paths:
    M web/pgadmin/tools/sqleditor/__init__.py

  Log Message:
  -----------
  Fixed an issue where ERD Tool can't load the saved pgerd file from Shared 
Storage. #6558