Pieter-Jan Briers d16fe5376d Fix postgres on the public server.

2020-01-24 20:48:24 +01:00

..

package_release_build.py

Fix postgres on the public server.

2020-01-24 20:48:24 +01:00

run_travis.sh

Let's pray it all works

2019-12-16 00:46:09 +01:00