From 2018da9d1e712501823609f2b0d932aa364d11d3 Mon Sep 17 00:00:00 2001
From: JBM <jbm@codingame.com>
Date: Sun, 14 Jun 2020 00:44:49 +0200
Subject: [PATCH] Add a background color to the favicon

---
 PLAN.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PLAN.org b/PLAN.org
index bfda8b2..6388307 100644
--- a/PLAN.org
+++ b/PLAN.org
@@ -73,7 +73,7 @@ That one's probably never going to be DONE ^^'
 *** TODO more generic "referee crash"
 *** TODO parameters feedback
 *** TODO cheating cases
-** TODO add a background to the favicon
+** DONE add a background to the favicon
 
 That transparency is nefarious on my browser's default tab background
 color.
-- 
2.30.2