]> https://gitweb.dealii.org/ - dealii.git/commitdiff
add a mailmap entry 10140/head
authorMatthias Maier <tamiko@43-1.org>
Mon, 11 May 2020 15:31:25 +0000 (10:31 -0500)
committerMatthias Maier <tamiko@43-1.org>
Mon, 11 May 2020 15:31:25 +0000 (10:31 -0500)
.mailmap

index 775dd878c7463890579bbe065b6020b5d3efbebc..9ce3924836557c9498d3ba66d72faad00e04c23f 100644 (file)
--- a/.mailmap
+++ b/.mailmap
@@ -88,3 +88,6 @@ Menno Fraters <menno.fraters@outlook.com>
 
 #
 Ignacio Tomas <itomas@sandia.gov>
+
+#
+Nicole Hayes <hayesni4@msu.edu>

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.