Add Dima to the list of nicknames

11 months ago · a85900a36b
parent bf45060fb7
commit a85900a36b
1 changed files with 1 additions and 0 deletions
--- 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