gcc/ChangeLog:

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

Pushed.
Gerald

---
 gcc/doc/contrib.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/doc/contrib.texi b/gcc/doc/contrib.texi
index 2a15fd05883..32e89d6df25 100644
--- 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.
-- 
2.44.0

Reply via email to