commit 07cd297c123dc714a67b1d808cf34f90a4c5bb22
Author: Georg Baum <[email protected]>
Date: Sun Aug 23 11:33:34 2015 +0200
Add Guillaume Munch to credits
diff --git a/lib/CREDITS b/lib/CREDITS
index 6fea491..3967ef5 100644
--- a/lib/CREDITS
+++ b/lib/CREDITS
@@ -256,7 +256,7 @@
@iE-mail: ciclope10 () alice ! it
Italian localization of the interface
@bScott Kostyshak
-@iE-mail: [email protected]
+@iE-mail: skostysh () princeton ! edu
Small UI fixes
@bMichael Koziarski
@iE-mail: koziarski () gmail ! com
@@ -348,6 +348,9 @@
@bStéphane Mourey
@iE-mail: stephane.mourey () impossible-exil ! info
New lfun server-get-statistics
+@bGuillaume Munch>
+@iE-mail: gadmm () free ! fr
+ Several bug fixes, mainly mathed
@bIñaki Larrañaga Murgoitio
@iE-mail: dooteo () euskalgnu ! org
Basque documentation and localization
diff --git a/lib/generate_contributions.py b/lib/generate_contributions.py
index 52eca29..a2e6906 100755
--- a/lib/generate_contributions.py
+++ b/lib/generate_contributions.py
@@ -1004,7 +1004,7 @@ contributors = [
u"Italian localization of the interface"),
contributor(u"Scott Kostyshak",
- "[email protected]",
+ "skostysh () princeton ! edu",
"GPL",
"GPL Statement",
"m=133076234031944",
@@ -1251,6 +1251,14 @@ contributors = [
"20 October 2014",
u"New lfun server-get-statistics"),
+ contributor(u"Guillaume Munch>",
+ "gadmm () free ! fr",
+ "GPL",
+ "Re: -std=c++11 and [PATCH] Improve the display of the source
(bugs #6501,#7359)",
+ "m=143890980923229",
+ "07 August 2015",
+ u"Several bug fixes, mainly mathed"),
+
contributor(u"Iñaki Larrañaga Murgoitio",
"dooteo () euskalgnu ! org",
"GPL",
