[pgadmin-org/pgadmin4] 7d0ba9: Update version for release 7.2

[Akshay Joshi]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 7d0ba9448bdadf8d68b2b6fb8a44baa9ce029ec4
      
https://github.com/pgadmin-org/pgadmin4/commit/7d0ba9448bdadf8d68b2b6fb8a44baa9ce029ec4
  Author: Akshay Joshi <akshay.jo...@enterprisedb.com>
  Date:   2023-05-29 (Mon, 29 May 2023)

  Changed paths:
    M web/config.py

  Log Message:
  -----------
  Update version for release 7.2