From 10e21898c484982d91ebcf95beccb07910f6deff Mon Sep 17 00:00:00 2001
From: Ulrich Bauer <mail@ulrich-bauer.org>
Date: Sat, 13 Jul 2019 16:45:33 +0200
Subject: unpin ripser version

---
 benchmarks/Dockerfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/benchmarks/Dockerfile b/benchmarks/Dockerfile
index 78b659e..e482807 100644
--- a/benchmarks/Dockerfile
+++ b/benchmarks/Dockerfile
@@ -69,7 +69,6 @@ FROM benchmark-setup as benchmark-ripser
 WORKDIR /ripser
 RUN git clone https://github.com/Ripser/ripser.git \
 && cd ripser \
-&& git checkout c0b508 \
 && make
 
 ENV PATH="${PATH}:/ripser/ripser"
-- 
cgit v1.2.3