[gnome-build-meta.wiki] Update Infrastructure

From: Javier Jardón Cabezas <jjardon src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-build-meta.wiki] Update Infrastructure
Date: Fri, 10 Apr 2020 11:46:30 +0000 (UTC)

commit ddbe808e2e7ec69f73400b7e9131f8900b19d5e8
Author: Javier Jardón Cabezas <javierjc1982 gmail com>
Date:   Fri Apr 10 11:46:29 2020 +0000

    Update Infrastructure

 Infrastructure.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/Infrastructure.md b/Infrastructure.md
index 8171403..035cf5e 100644
--- a/Infrastructure.md
+++ b/Infrastructure.md
@@ -4,6 +4,6 @@
 | 167.99.17.106 | remote cache server | GNOME DigitalOcean | x86_64 | jjardon, av | |
 | 147.75.194.17 | runner | packet.net | x86_64  | infra team, jjardon | m1.xlarge.x86 machine donated by 
https://packet.net |
 | 147.75.198.26 | runner | packet.net | aarch64 | infra team, jjardon | c1.large.arm machine donated by 
https://www.worksonarm.com/ |
-| 47.75.74.6 | runner | packet.net | aarch64(armv7) | infra team, jjardon | c1.large.arm.xda machine Donated 
by https://www.codethink.co.uk/ |
+| 147.75.74.6 | runner | packet.net | aarch64(armv7) | infra team, jjardon | c1.large.arm.xda machine 
Donated by https://www.codethink.co.uk/ |

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]