Make valgrind usage more consistent and less error prone.

[rust.git] / AUTHORS.txt

diff --git a/AUTHORS.txt b/AUTHORS.txt
index c458eea58a5d004a06902b24768640d5e0a1e969..d28b9dab0353b06bae9bf51e1a8dd0cb875fa585 100644 (file)
--- a/AUTHORS.txt
+++ b/AUTHORS.txt
@@ -40,5 +40,6 @@ Ralph Giles <giles@thaumas.net>
 Rafael Ávila de Espíndola <respindola@mozilla.com>
 Rob Arnold <robarnold@cs.cmu.edu>
 Roy Frostig <rfrostig@mozilla.com>
+Stefan Plantikow <stefan.plantikow@googlemail.com>
 Tim Chevalier <chevalier@alum.wellesley.edu>
 Wade Mealing <wmealing@gmail.com>