doc/contrib.texi: Add Jose E. Marchesi

gcc/ChangeLog:

	* doc/contrib.texi: Add Jose E. Marchesi.

diff --git a/gcc/doc/contrib.texi b/gcc/doc/contrib.texi
index 7e9c16f1f5637de76bfafe136d111845763bfbe9..758805dc5dbaabbf8b1de2d91d718b0fe2d2b382 100644 (file)
--- a/gcc/doc/contrib.texi
+++ b/gcc/doc/contrib.texi
@@ -634,6 +634,10 @@ and unit testing.
 @item
 Bob Manson for his behind the scenes work on dejagnu.
 
+@item
+Jose E. Marchesi for contributing the eBPF backend and his ongoing
+work maintaining it.
+
 @item
 John Marino for contributing the DragonFly BSD port.