Update tectonic.json

This commit is contained in:
xtectonic authored and GitHub committed 2026-08-11 16:04:52 -07:00
1 parent d75201c2e2
commit 0f6e549484
1 file changed
+1 -1
+1 -1
View File
@@ -5,7 +5,7 @@
},
"records": {
"A": [
"209.38.154.181"
"158.101.31.180"
]
},
"proxied": true