From 88958558123c2f54c0029aae55b2d9fcd044a81d Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Wed, 5 Feb 2020 09:22:54 +0100
Subject: [PATCH] travis: retrieve the whole git history

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

diff --git a/.travis.yml b/.travis.yml
index 8806fee3..e034df2d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,7 @@
 language: python
 sudo: required
+git:
+  depth: false
 compiler:
   - gcc
 # - clang
-- 
GitLab