merge heal

2026-08-25 05:26:50 +00:00 · 2024-11-20 17:40:11 +08:00
parent 706fce49b9 1d81a9e40f
commit 821bb6fe3f
64 changed files with 5332 additions and 771 deletions
@@ -9,7 +9,7 @@ pub mod erasure;
 pub mod error;
 mod file_meta;
 mod global;
-mod heal;
+pub mod heal;
 pub mod peer;
 mod quorum;
 pub mod set_disk;