From 31e3f97488dd41661f845edc54a6cbc71f0d4fb3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phaneDucasse?= <stephane.ducasse@inria.fr>
Date: Sat, 14 Nov 2020 17:15:20 +0100
Subject: [PATCH] migrating to 8.0.12

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

diff --git a/.travis.yml b/.travis.yml
index 52b9a40..fb1f554 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,7 +9,7 @@ smalltalk:
 
 env:
   global:
-    - PILLAR_RELEASE=v8.0.1
+    - PILLAR_RELEASE=v8.0.12
     - PATH="$HOME/texlive/bin/x86_64-linux:$HOME/pillar/build:$PATH"
 
 install: