From: JBM Date: Thu, 21 May 2020 12:56:18 +0000 (+0200) Subject: Upgrade to engine 3.15.0 X-Git-Url: https://troll.desast.re/troll.git/commitdiff_plain/6bdb6959b3c187bb104db1dac55fb7971bbd5ca1?hp=a8eb1f46d18eca0182df0dfc52c5647c854a0616 Upgrade to engine 3.15.0 --- diff --git a/PLAN.org b/PLAN.org index ecf16c0..8957eba 100644 --- a/PLAN.org +++ b/PLAN.org @@ -4,3 +4,8 @@ * TODO debug rotating avatar * TODO easter egg for YannT meta^5 @YannT :: (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b)) +* TODO messages +tortue +by the power of grayskull +* TODO referee cleanup +* DONE upgrade deps diff --git a/pom.xml b/pom.xml index 8c64961..b7d6d9e 100644 --- a/pom.xml +++ b/pom.xml @@ -8,7 +8,7 @@ 0.5-git - 3.13.1 + 3.15.0 1.8 1.8