Skip to content
This repository has been archived by the owner on Dec 16, 2024. It is now read-only.

servo-linux3 DNS needs to be updated #845

Open
jdm opened this issue May 29, 2018 · 0 comments
Open

servo-linux3 DNS needs to be updated #845

jdm opened this issue May 29, 2018 · 0 comments

Comments

@jdm
Copy link
Member

jdm commented May 29, 2018

I created a new build machine to replace servo-linux3 because of #843, so the DNS needs to be updated to point at the IP for the linux3-newer EC2 machine.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jdm