Merge branch 'main' into devel

This commit is contained in:
srgooglo 2024-04-02 22:17:39 +02:00 committed by GitHub
commit ed2dbb732d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 1 deletions

1
relic-core Submodule

@ -0,0 +1 @@
Subproject commit 5da2cb0765d75f51222414b3e7e690e0d74d408d