Dear Sir or Madam
I have submitted a pull request on GitHub for the following issue:https://github.com/pgadmin-org/pgadmin4/issues/7138.
Kind regards,
Florian Sabonchi