[pushed] doc/contrib.texi: Add Jose E. Marchesi

[Gerald Pfeifer]

This fixes an obvious submission (of which I believe there are more - 
please feel free to help address those).

Gerald


gcc/ChangeLog:

	* doc/contrib.texi: Add Jose E. Marchesi.
---
 gcc/doc/contrib.texi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gcc/doc/contrib.texi b/gcc/doc/contrib.texi
index 7e9c16f1f56..758805dc5db 100644
--- 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.
 
-- 
2.39.0