Update THANKS.

2026-03-29 06:37:25 +00:00 · 2015-02-10 15:29:34 +02:00 · 2015-02-10 15:29:34 +02:00 · 2205bb5853
commit 2205bb5853
parent d935b0cdf3
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -67,6 +67,7 @@ has been important. :-) In alphabetical order:
  - Andre Noll
  - Peter O'Gorman
  - Peter Pallinger
+  - Rui Paulo
  - Igor Pavlov
  - Diego Elio Pettenò
  - Elbert Pol