Add a background color to the favicon

diff --git a/PLAN.org b/PLAN.org
index bfda8b2..6388307 100644 (file)
--- 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.