diff --git a/MAINTAINERS b/MAINTAINERS index 7d2c621411..64c93e5701 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -1001,6 +1001,7 @@ F: util/crossgcc/ DOCKER M: Martin Roth +M: Felix Singer S: Supported F: util/docker/