summaryrefslogtreecommitdiffstats
path: root/MAINTAINERS
diff options
context:
space:
mode:
authorMarkus Armbruster2015-01-28 11:29:57 +0100
committerMarkus Armbruster2015-02-05 17:16:14 +0100
commit8c413e7902ef0c19ced516f575db989ccc3785f8 (patch)
tree35e984cd91c18561ab55ba3e50dda0edc7547850 /MAINTAINERS
parentcoverity: Model g_free() isn't necessarily free() (diff)
downloadqemu-8c413e7902ef0c19ced516f575db989ccc3785f8.tar.gz
qemu-8c413e7902ef0c19ced516f575db989ccc3785f8.tar.xz
qemu-8c413e7902ef0c19ced516f575db989ccc3785f8.zip
MAINTAINERS: Add myself as Coverity model maintainer
Suggested-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'MAINTAINERS')
-rw-r--r--MAINTAINERS5
1 files changed, 5 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS
index fd335a47bf..b68cb7e133 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -783,6 +783,11 @@ M: Samuel Thibault <samuel.thibault@ens-lyon.org>
S: Maintained
F: backends/baum.c
+Coverity model
+M: Markus Armbruster <armbru@redhat.com>
+S: Supported
+F: scripts/coverity-model.c
+
CPU
M: Andreas Färber <afaerber@suse.de>
S: Supported