Fredrik Fornwall ffc53c3978 Update the ubuntu build setup from 17.04 to 17.10
An updated image has been pushed to the docker hub, so update with

./scripts/update-docker.sh
2017-11-02 10:18:05 +01:00
..
2016-01-14 22:45:50 -05:00
2016-01-14 22:45:50 -05:00
2017-01-18 01:02:18 +01:00
2016-01-14 22:45:50 -05:00
2017-08-11 13:25:55 +02:00
2017-08-11 13:25:55 +02:00