chore: Update git links #770

Merged
Jade merged 1 commit from jade/replace-git-deps into main 2025-04-18 18:55:11 +00:00
Owner

Updates git submodules.
rust-rocksdb-zaidoon1 had to have the git rev changed as it recursively depends on a fork.
Also updates the links in the Cargo.toml

Updates git submodules. `rust-rocksdb-zaidoon1` had to have the git rev changed as it recursively depends on a fork. Also updates the links in the Cargo.toml
Jade added 1 commit 2025-04-18 16:45:15 +00:00
chore: Update git links
All checks were successful
Documentation / Build and Deploy Documentation (pull_request) Successful in 36s
7d7f7394c3
Jade force-pushed jade/replace-git-deps from 7d7f7394c3 to 2e6ec2f89c 2025-04-18 16:59:27 +00:00 Compare
Jade merged commit 2e6ec2f89c into main 2025-04-18 18:55:11 +00:00
Jade deleted branch jade/replace-git-deps 2025-04-18 18:55:11 +00:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: continuwuation/continuwuity#770
No description provided.