Gleb Peregud 52bedcb14b pgadmin3: 1.22.1 -> 1.22.2 ... Also include Debian patch https://sources.debian.net/data/main/p/pgadmin3/1.22.2-1/debian/patches/843344 which fixes segfault at start		2017-10-13 22:52:52 +02:00
..
default.nix	pgadmin3: 1.22.1 -> 1.22.2	2017-10-13 22:52:52 +02:00