diff options
Diffstat (limited to 'Documentation/infrastructure/coverity.md')
| -rw-r--r-- | Documentation/infrastructure/coverity.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/infrastructure/coverity.md b/Documentation/infrastructure/coverity.md index 3034d50e74..ebc0782fbd 100644 --- a/Documentation/infrastructure/coverity.md +++ b/Documentation/infrastructure/coverity.md @@ -100,4 +100,4 @@ are discovered and go unnoticed in a later build. More projects that are hosted on review.coreboot.org (potentially as a mirror, like vboot and EC) could be served through that pipeline. Reach -out to {stepan,patrick,martin}@coreboot.org. +out to {stepan,martin}@coreboot.org. |