adapted Julian's new speed improved version

[wxWidgets.git] / build / buildbot / config / include / wx-devs.xml

diff --git a/build/buildbot/config/include/wx-devs.xml b/build/buildbot/config/include/wx-devs.xml
index 422041002406102a08ba4f6e56b55e0668f219f4..3bbb74606eb69ff1bef3ca15e81f9bf41924834c 100644 (file)
--- a/build/buildbot/config/include/wx-devs.xml
+++ b/build/buildbot/config/include/wx-devs.xml
@@ -25,6 +25,7 @@
   <email id="KLB">KendallB -at- scitechsoft.com</email>
   <email id="KO">kevino -at- theolliviers.com</email>
   <email id="MBN">mbarbon -at- cpan.org</email>
+  <email id="MMK">MMK -at- Thunder-Power.com</email>
   <email id="MR">leio -at- gentoo.org</email>
   <email id="MW">mike.wetherell -at- ntlworld.com</email>
   <email id="PC">paulcor -at- bullseye.com</email>