mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2024-12-22 15:13:42 -06:00
6810fa6ce6
Added a fix where electron app menu was not refreshing when node selection changed. |
||
---|---|---|
.. | ||
en_US |