Merge branch 'stable-1.13'

Author: wilfwilson

.github/workflows/manual.yml

@@ -40,7 +40,7 @@ jobs:
           gap-version: latest
       - uses: gap-actions/build-pkg-docs@v2
       - name: Upload compiled manuals . . .
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: Digraphs manual
           retention-days: 7