[pgadmin-org/pgadmin4] 259a53: Update release notes.

[Khushboo Vashi]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 259a534a7193eb90e1a83c999dd7051216ddf976
      
https://github.com/pgadmin-org/pgadmin4/commit/259a534a7193eb90e1a83c999dd7051216ddf976
  Author: Khushboo Vashi <khushboo.va...@enterprisedb.com>
  Date:   2023-05-10 (Wed, 10 May 2023)

  Changed paths:
    M docs/en_US/release_notes_7_2.rst

  Log Message:
  -----------
  Update release notes.