diff options
| -rw-r--r-- | MAINTAINERS | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 9722033..2201a92 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -21,7 +21,8 @@ cgen/; cgen parts of opcodes/, sim/ & include/ May need separate opcodes/ or sim/ approval for commits of regenerated files there. -config.guess; config.sub; dejagnu/config.guess; readline/support/config.sub +config.guess; config.sub; dejagnu/config.guess; +readline/support/config.sub; readline/support/config.guess config: http://gnu.org Patches to config-patches@gnu.org. Changes need to be done in tandem with the official CONFIG |