mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-11-03 20:57:04 -06:00
This avoids packagers having to deal with the issue, which can be difficult if they need to cater for both server and desktop modes. Fixes #1849