[pgadmin-org/pgadmin4] d8e00e: Fix a doc build issue occuring after adding releas...

[Aditya Toshniwal]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: d8e00e65861bed227423916300c56d6c27ae25fe
      
https://github.com/pgadmin-org/pgadmin4/commit/d8e00e65861bed227423916300c56d6c27ae25fe
  Author: Aditya Toshniwal <aditya.toshni...@enterprisedb.com>
  Date:   2023-05-05 (Fri, 05 May 2023)

  Changed paths:
    M docs/en_US/release_notes.rst

  Log Message:
  -----------
  Fix a doc build issue occuring after adding release note for 7.2