doc: Update contrib.texi

I noticed that Patrick is missing here.

gcc/ChangeLog:

	* doc/contrib.texi: Add entry for Patrick Palka.

diff --git a/gcc/doc/contrib.texi b/gcc/doc/contrib.texi
index 031c4ec44ce2bac47cf47446d7b33f703c180a73..0fe4a87461636e80accf95bfe14073d2ca725a6a 100644 (file)
--- a/gcc/doc/contrib.texi
+++ b/gcc/doc/contrib.texi
@@ -781,6 +781,9 @@ ABI support, improvements to dejagnu's MIPS support, Java configuration
 clean-ups and porting work, and maintaining the IRIX, Solaris 2, and
 Tru64 UNIX ports.
 
+@item
+Patrick Palka for contributions to the C++ library and front end.
+
 @item
 Steven Pemberton for his contribution of @file{enquire} which allowed GCC to
 determine various properties of the floating point unit and generate