From e8e9d839e527e898964433c13d0e5a5589995305 Mon Sep 17 00:00:00 2001
From: Andrew Johnson <andrew@subarctic.org>
Date: Sun, 31 Dec 2023 17:44:02 -0700
Subject: [PATCH] RIP Doby

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 8e9052feb..70a523b7d 100644
--- a/README.md
+++ b/README.md
@@ -34,3 +34,7 @@ _eval-hard_ does not have any restrictions.
 
 The proper name for this project is λ☶.
 However, GitHub disallows most unicode in repo names, probably to avoid lookalike characters in urls.
+
+# Mascot
+
+"Doby being a prototypical ass."