Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: 9cf3288934dc237ad3d00dd8ddb27920e9b201d3
https://github.com/pgadmin-org/pgadmin4/commit/9cf3288934dc237ad3d00dd8ddb27920e9b201d3
Author: Anil Sahoo <anil(dot)sahoo(at)enterprisedb(dot)com>
Date: 2023-12-05 (Tue, 05 Dec 2023)
Changed paths:
M web/pgadmin/tools/psql/static/js/psql_module.js
Log Message:
-----------
Fixed an issue where option key was not registering in PSQL tool. #6968