From 3b8a7ab132a58ead7ac225a1e23d8e5f1971e5fc Mon Sep 17 00:00:00 2001
From: Damien Elmes <gpg@ankiweb.net>
Date: Mon, 28 Nov 2022 14:42:03 +1000
Subject: [PATCH] Fix clippy warning

---
 build/ninja_gen/src/git.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/ninja_gen/src/git.rs b/build/ninja_gen/src/git.rs
index 9c1be9eac..c28571f12 100644
--- a/build/ninja_gen/src/git.rs
+++ b/build/ninja_gen/src/git.rs
@@ -54,7 +54,7 @@ fn locate_git_head() -> Option<BuildInput> {
                 .filter_map(|p| {
                     let head = p.unwrap().path().join("HEAD");
                     if head.exists() {
-                        Some(head.as_str().replace(':', "$:").to_string())
+                        Some(head.as_str().replace(':', "$:"))
                     } else {
                         None
                     }