OSDN Git Service

MAINTAINERS: Add myself as Coverity model maintainer
authorMarkus Armbruster <armbru@redhat.com>
Wed, 28 Jan 2015 10:29:57 +0000 (11:29 +0100)
committerMarkus Armbruster <armbru@redhat.com>
Thu, 5 Feb 2015 16:16:14 +0000 (17:16 +0100)
Suggested-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
MAINTAINERS

index fd335a4..b68cb7e 100644 (file)
@@ -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