From de84736afa6c6b873af5872f24fcd9e9b2e54173 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 10 Sep 2021 16:34:07 +0100
Subject: Remove the last comment

---
 introduction.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'introduction.tex')

diff --git a/introduction.tex b/introduction.tex
index 91102fd..cafdd07 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -53,7 +53,7 @@ The contributions of this paper are as follows:
 %\JW{This sentence seems pretty good to me; is it up-to-date with the latest `challenges' you've faced?}
 
 \paragraph{Companion material}
-\vericert{} is fully open source and available on GitHub at \url{https://github.com/ymherklotz/vericert}. A snapshot of the \vericert{} development is also available in a Zenodo repository~\cite{yann_herklotz_2021_5093839}, which also contains \JW{fill this in, e.g. `source code for the benchmarks' or `benchmarking results' or whatever}.
+\vericert{} is fully open source and available on GitHub at \url{https://github.com/ymherklotz/vericert}. A snapshot of the \vericert{} development is also available in a Zenodo repository~\cite{yann_herklotz_2021_5093839}.
 
 
 %%% Local Variables:
-- 
cgit 

