pgAdmin 4 Jenkins Tue, 04 Dec 2018 10:00:56 -0800
See <https://jenkins.pgadmin.org/job/pgadmin4-master-python37/56/display/redirect?page=changes>