Fix pgarm64 hostname
authorChristoph Berg <myon@debian.org>
Thu, 18 Jul 2024 12:40:30 +0000 (14:40 +0200)
committerChristoph Berg <myon@debian.org>
Thu, 18 Jul 2024 12:40:30 +0000 (14:40 +0200)
commit499cb626a3a26d66a9183608439ea936b52ce652
tree9500f3b564025713aa20640e71de035b14ba6c85
parent820da2198649b76438818ade1b1f382da1c0ed69
Fix pgarm64 hostname
jenkins/ansible/hosts