Issue #23883: Missing fileinput.__all__ APIs; patch by Mauro SM Rodrigues
diff --git a/Misc/ACKS b/Misc/ACKS
index b243181..1df5d24 100644
--- a/Misc/ACKS
+++ b/Misc/ACKS
@@ -1219,6 +1219,7 @@
 Kevin Rodgers
 Sean Rodman
 Giampaolo Rodola
+Mauro S. M. Rodrigues
 Elson Rodriguez
 Adi Roiban
 Luis Rojas