diff options
Diffstat (limited to 'MAINTAINERS')
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 44c42fb764..60b0b0922c 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -1507,6 +1507,7 @@ M: Riku Voipio <riku.voipio@iki.fi> S: Maintained F: thunk.c F: user-exec.c +F: user-exec-stub.c BSD user S: Orphan |