From: JBM <jbm@codingame.com>
Date: Wed, 20 May 2020 14:53:19 +0000 (+0200)
Subject: Early termination
X-Git-Url: https://troll.desast.re/troll.git/commitdiff_plain/076ea5bbdda8751cd178b657157d3a08458b7c7b?hp=076ea5bbdda8751cd178b657157d3a08458b7c7b

Early termination
---