From 6bdb6959b3c187bb104db1dac55fb7971bbd5ca1 Mon Sep 17 00:00:00 2001 From: JBM Date: Thu, 21 May 2020 14:56:18 +0200 Subject: [PATCH] Upgrade to engine 3.15.0 --- PLAN.org | 5 +++++ pom.xml | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) 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 -- 2.30.2