doc: Update David Binderman's entry in contrib.texi

gcc/ChangeLog:

	* doc/contrib.texi: Update David Binderman's entry.

diff --git a/gcc/doc/contrib.texi b/gcc/doc/contrib.texi
index 2a15fd058835047c230c2999ff8efac133e2fa16..32e89d6df25ca9f48be47b0a6b1ed990609e3520 100644 (file)
--- a/gcc/doc/contrib.texi
+++ b/gcc/doc/contrib.texi
@@ -64,8 +64,8 @@ improved alias analysis, plus migrating GCC to Bugzilla.
 Geoff Berry for his Java object serialization work and various patches.
 
 @item
-David Binderman tests weekly snapshots of GCC trunk against Fedora Rawhide
-for several architectures.
+David Binderman for testing GCC trunk against Fedora Rawhide
+and csmith.
 
 @item
 Laurynas Biveinis for memory management work and DJGPP port fixes.