diff options
Diffstat (limited to 'Documentation/infrastructure/builders.md')
| -rw-r--r-- | Documentation/infrastructure/builders.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Documentation/infrastructure/builders.md b/Documentation/infrastructure/builders.md index b200140ed5..133b2d4e2a 100644 --- a/Documentation/infrastructure/builders.md +++ b/Documentation/infrastructure/builders.md @@ -23,8 +23,6 @@ as the system can just be disabled until someone is available to fix any issues. Currently active Jenkins admins: -* Patrick Georgi: - * Email: [patrick@coreboot.org](mailto:patrick@coreboot.org) * Martin Roth: * Email: [gaumless@gmail.com](mailto:gaumless@gmail.com) * IRC: martinr |