diff options
| -rw-r--r-- | Documentation/infrastructure/builders.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/infrastructure/builders.md b/Documentation/infrastructure/builders.md index f37fabf5b3..b200140ed5 100644 --- a/Documentation/infrastructure/builders.md +++ b/Documentation/infrastructure/builders.md @@ -24,8 +24,7 @@ issues. Currently active Jenkins admins: * Patrick Georgi: - * Email: [patrick@georgi-clan.de](mailto:patrick@georgi-clan.de) - * IRC: pgeorgi + * Email: [patrick@coreboot.org](mailto:patrick@coreboot.org) * Martin Roth: * Email: [gaumless@gmail.com](mailto:gaumless@gmail.com) * IRC: martinr |