Merge pull request #76 from diamante0018/update-deps

chore: update deps
This commit is contained in:
2025-01-20 18:47:53 +01:00
committed by GitHub
parent cfe1e4b5ce
commit 6bd8bf9b6d
2 changed files with 2 additions and 2 deletions

2
deps/GSL vendored

Submodule deps/GSL updated: 16a60199df...355982daf6