Branch: refs/heads/master Home: https://github.com/pgadmin-org/pgadmin4 Commit: db3d0c6e212e0dec210bc073d60980b961a90106 https://github.com/pgadmin-org/pgadmin4/commit/db3d0c6e212e0dec210bc073d60980b961a90106 Author: Akshay Joshi <akshay.jo...@enterprisedb.com> Date: 2023-05-22 (Mon, 22 May 2023)
Changed paths: M docs/en_US/release_notes_7_2.rst M web/pgadmin/static/js/Dialogs/index.jsx Log Message: ----------- Make the 'Connect to server' dialog a modal dialog. #6043