Add Phil to credits

diff --git a/lib/generate_contributions.py b/lib/generate_contributions.py
index e864ebd062767ad139b920a8cfc0c7ab6a6fada1..672e67a533967088c3a473c74ce04fe1f0d19645 100755 (executable)
--- a/lib/generate_contributions.py
+++ b/lib/generate_contributions.py
@@ -1420,6 +1420,14 @@ contributors = [
                  "22 February 2005",
                  u"Math panel dialogs"),
 
+     contributor(u"Phillip Netro",
+                 "hobbes () centurylink ! net",
+                 "GPL",
+                 "RE: GPL Statement",
+                 "m=160532510203924",
+                 "14 November 2020",
+                 u"Review of Manuals"),
+
      contributor(u"Dirk Niggemann",
                  "dabn100 () cam ! ac ! uk",
                  "",