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: