From bf2f0d92ea3ffc7110d705154c2dacd713397ce5 Mon Sep 17 00:00:00 2001 From: Michael Young Date: Sat, 25 Jun 2022 17:10:51 +0100 Subject: [PATCH] Add Kamran to PackageInfo.g This is for his work on random digraphs that was recently merged (PR #531). --- PackageInfo.g | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/PackageInfo.g b/PackageInfo.g index e0264153f..e9925ebde 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -219,7 +219,17 @@ rec( Place := "St Andrews", Institution := "University of St Andrews"), - rec( +rec( + LastName := "Sharma", + FirstNames := "Kamran", + IsAuthor := false, + IsMaintainer := false, + Email := "kks4@st-andrews.ac.uk", + PostalAddress := _STANDREWSCS, + Place := "St Andrews", + Institution := "University of St Andrews"), + +rec( LastName := "Smith", FirstNames := "Finn", IsAuthor := false,