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 7e9c16f..758805d 100644 (file)
--- a/gcc/doc/contrib.texi
+++ b/gcc/doc/contrib.texi
@@ -635,6 +635,10 @@ and unit testing.
 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.
 
 @item