fix(dgsi): Set to an existing version

This commit is contained in:
Tom Hubrecht 2024-10-09 18:57:06 +02:00
parent 34640d467b
commit 53c865a335
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc

View file

@ -45,9 +45,9 @@
"url": "https://git.dgnum.eu/DGNum/dgsi.git"
},
"branch": "main",
"revision": "129641cc1fdd657c070c54f3b93aa0cd7c5a5b1d",
"revision": "f6fcd90622151e116adedb41f53da0445f1ee387",
"url": null,
"hash": "0s4bkj7y6iqch8xislxyx7w5rn0xz95rvj9gfwcvm3p7sqj92ldj"
"hash": "1rrm4j142h2dkphya34hg341xhklrdvqim35jy6g0152a7y1nkk4"
},
"disko": {
"type": "GitRelease",