From 93f290e44d11515b490a87fd2c0ba65cf371bac8 Mon Sep 17 00:00:00 2001
From: Andrew Ruthven <puck@catalyst.net.nz>
Date: Sat, 5 Jan 2019 00:29:16 +1300
Subject: [PATCH] The pipeline showed 7.3 as being available, ah well.

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4ce5cfa6..cfd4fc58 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ build:
   script:
     - apt-get -y update
     - bash -c 'mkdir -p /usr/share/man/man{0..10}'
-    - apt-get -y install build-essential devscripts fakeroot dh-exec jdupes rst2pdf doxygen graphviz php7.3 # todo build-dep instead, change this task's image to plain debian
+    - apt-get -y install build-essential devscripts fakeroot dh-exec jdupes rst2pdf doxygen graphviz php7.0 # todo build-dep instead, change this task's image to plain debian
     - mv debian/changelog debian/changelog.old
     - >
       cat