Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: acf5eb7a264bb2a7884da709494b79e5c7fb1d59
https://github.com/pgadmin-org/pgadmin4/commit/acf5eb7a264bb2a7884da709494b79e5c7fb1d59
Author: Khushboo Vashi <khushboo(dot)vashi(at)enterprisedb(dot)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.