chore: rename to avoid git reserved name (#7359)

rename to avoid reserved name Signed-off-by: discord9 <discord9@163.com>
2025-12-22 22:20:02 +00:00 · 2025-12-08 12:01:25 +08:00
parent 60f752d306
commit 7199823be9
2 changed files with 1 additions and 1 deletions
--- a/src/meta-srv/src/gc/mock.rs
+++ b/src/meta-srv/src/gc/mock.rs
@@ -14,7 +14,7 @@

 mod basic;
 mod candidate_select;
-mod con;
+mod concurrent;
 mod config;
 mod err_handle;
 mod full_list;
--- a/src/meta-srv/src/gc/mock/concurrent.rs
+++ b/src/meta-srv/src/gc/mock/concurrent.rs