assorted patches

2026-10-13 10:15:00 +00:00 · 2026-06-23 13:38:35 -03:00
parent 07a49a7a2d
commit a9df523f76
34 changed files with 1240 additions and 592 deletions
@@ -114,6 +114,7 @@ jobs:
    runs-on: windows-latest
    steps:
    - uses: actions/checkout@v4
+      with: { fetch-depth: 2 }
 #    - uses: egor-tensin/setup-mingw@v2
 #      with:
 #        platform: x64