From 233b1984126d4195da358f85ab374100bf9fe7a9 Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <adellam@isti.cnr.it>
Date: Wed, 20 Mar 2019 19:15:04 +0100
Subject: [PATCH] Specify the server port for the gpg repo key.

---
 mono/defaults/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mono/defaults/main.yml b/mono/defaults/main.yml
index 41cbae1c..a5738abe 100644
--- a/mono/defaults/main.yml
+++ b/mono/defaults/main.yml
@@ -1,5 +1,5 @@
 ---
-mono_repo_server: 'hkp://keyserver.ubuntu.com'
+mono_repo_server: 'hkp://keyserver.ubuntu.com:80'
 mono_deb_repo_key_id: 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
 mono_deb_repo_url: 'deb https://download.mono-project.com/repo/{{ ansible_distribution | lower }} stable-{{ ansible_distribution_release }} main'