Merge pull request #631 from rust-lang/chore-delete-unused-dev-desktop

chore: delete unused dev desktop

Author: marcoieni

terraform/dev-desktops/dns.tf

@@ -1,3 +1,7 @@
+data "aws_route53_zone" "rust_lang_org" {
+  name = "rust-lang.org"
+}
+
 resource "aws_route53_record" "dev_desktop_eu_2" {
   zone_id = data.aws_route53_zone.rust_lang_org.id
   name    = "dev-desktop-eu-2.infra.rust-lang.org"