From b4403627090582f6c9232920021901eebcd8bf63 Mon Sep 17 00:00:00 2001 From: stefanrueger Date: Wed, 25 Jun 2025 18:56:26 +0200 Subject: [PATCH] Update NEWS --- NEWS | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/NEWS b/NEWS index 70ffdcfb..6183c508 100644 --- a/NEWS +++ b/NEWS @@ -15,8 +15,13 @@ Changes since version 8.1: * Issues fixed: + - GitHub deploy action fails #2038 + * Pull requests: + - Use download-artifact@v4 instead of v2 #2040 + - Deduplicate programmer list in docs #2042 + * Internals: Changes in version 8.1: