www/thankgnus 2018supporters.html

[Amin Bandali]

CVSROOT:        /web/www
Module name:    www
Changes by:     Amin Bandali <bandali>  19/07/12 18:37:24

Modified files:
        thankgnus      : 2018supporters.html 

Log message:
        [RT#1405425] Add cumulative >=$500 donors to the 2018 ThankGNUs list

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/thankgnus/2018supporters.html?cvsroot=www&r1=1.124&r2=1.125

Patches:
Index: 2018supporters.html
===================================================================
RCS file: /web/www/www/thankgnus/2018supporters.html,v
retrieving revision 1.124
retrieving revision 1.125
diff -u -b -r1.124 -r1.125
--- 2018supporters.html 12 Jul 2019 22:11:02 -0000      1.124
+++ 2018supporters.html 12 Jul 2019 22:37:24 -0000      1.125
@@ -92,8 +92,11 @@
   <li>James Wilson</li>
   <li>Jean-Francois Blavier</li>
   <li>Jonathan Howell</li>
+  <li>Kevin McCarthy</li>
+  <li>Li-Cheng Tai</li>
   <li>Luis Rodriguez</li>
   <li>Marinos Yannikos</li>
+  <li>Mark Wielaard</li>
   <li>Martin Krafft</li>
   <li>Nikolay Ksenev</li>
   <li>Paul Allen</li>
@@ -105,6 +108,7 @@
   <li>Steve Wickert</li>
   <li>Terence O'Gorman</li>
   <li>Thomas Weeks III</li>
+  <li>Tyler Romeo</li>
 </ul>
 
 <h4>
@@ -131,6 +135,8 @@
   <li>Ben Sturmfels</li>
   <li>Blue Systems</li>
   <li>Boone Gorges</li>
+  <li>Brian Strand</li>
+  <li>Bruno Dantas</li>
   <li>Charles Birk</li>
   <li>Christian Sperr</li>
   <li>Christoph Reichenbach</li>
@@ -169,7 +175,9 @@
   <li>Hiroshi Takekawa</li>
   <li>Iñaki Arenaza</li>
   <li>Jelte van der Hoek</li>
+  <li>Jerome Quinn</li>
   <li>Julio Claudio Matus Ramirez</li>
+  <li>joerg kunze</li>
   <li>John Poduska</li>
   <li>John Sullivan</li>
   <li>John Trudeau</li>
@@ -191,6 +199,7 @@
   <li>Michael Henderson</li>
   <li>Michael Lalumiere</li>
   <li>Michael Lewis</li>
+  <li>Michael Mauger</li>
   <li>Minoru Sekine</li>
   <li>Mirko Lüdde</li>
   <li>Morten Lind</li>
@@ -307,7 +316,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2019/07/12 22:11:02 $
+$Date: 2019/07/12 22:37:24 $
 <!-- timestamp end -->
 </p>
 </div>