From d49a641e76f5972b2cfd20c044b32e992fa43c96 Mon Sep 17 00:00:00 2001
From: Daiderd Jordan <daiderd@gmail.com>
Date: Thu, 10 Dec 2020 19:05:05 +0100
Subject: [PATCH] fix single-char-push-str clippy warning

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

diff --git a/ofborg/build.rs b/ofborg/build.rs
index 4faa9ee..7a95722 100644
--- a/ofborg/build.rs
+++ b/ofborg/build.rs
@@ -557,7 +557,7 @@ impl MetricCollector {
         }})
         .collect();
       output.push_str(&values.join(\"\n\"));
-      output.push_str(\"\n\");
+      output.push('\\n');
  ",
                 &mtype.metric_name(),
                 &mtype.description(),