From 212884f2bfed7f00e58aad183edd20ecc2a23e71 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Tue, 23 May 2023 18:05:07 +0300 Subject: [PATCH] ; Fix last change. --- etc/PROBLEMS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/PROBLEMS b/etc/PROBLEMS index 82ab48fa514..5b9b5ee4ead 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS @@ -521,7 +521,7 @@ The solution is to use gawk (GNU awk). This is known to happen with GnuPG v2.4.1. The only known workaround is to downgrade to a version of GnuPG older than 2.4.1 (or, in the future, upgrade to a newer version which solves the problem, when such -a fixed version becomes available) +a fixed version becomes available). ** Problems with hostname resolution -- 2.39.2