From a85900a36b1a50b1e69af520c272651066f36fa8 Mon Sep 17 00:00:00 2001 From: Jacopo De Simoi Date: Thu, 24 Apr 2025 15:44:13 -0400 Subject: [PATCH] Add Dima to the list of nicknames --- global.org | 1 + 1 file changed, 1 insertion(+) diff --git a/global.org b/global.org index eaabd7a..b6b0849 100644 --- a/global.org +++ b/global.org @@ -900,6 +900,7 @@ ("Konstantin Khanin" . "Kostya") ("Nicholas[ ]+Fleming". "Nick") ("Pramathanath Sastry". "Pramath") + ("Dmitry Dolgopyat" . "Dima") ("Buddhima Kasun Fernando Akurugodage (Staff)" . "Kasun"))) ;; the above should be moved to a private file