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

Message ID 20230125104351.F0CB433EE4@hamza.pair.com
State Committed
Commit 27b2eb6b35bb1cc28fd67e0437ff2e8422df2ab0
Headers
Series [pushed] doc/contrib.texi: Add Jose E. Marchesi |

Commit Message

Gerald Pfeifer Jan. 25, 2023, 10:43 a.m. UTC
  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(+)
  

Patch

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.