From a9d8fe70a78c2cb63e10d48854c1f82adcb95e64 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Fri, 31 Mar 2023 09:27:04 +0200
Subject: [PATCH] [doc] Fix github logo in footer

---
 docs/_includes/footer.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html
index e8e3c871f4..46187408cf 100755
--- a/docs/_includes/footer.html
+++ b/docs/_includes/footer.html
@@ -9,7 +9,7 @@
             target="_blank"
             href="https://github.com/{{site.github_editme_path}}{{editmepath}}"
             role="button"
-            ><i class="fa fa-github fa-lg"></i> Edit on GitHub</a
+            ><i class="fab fa-github fa-lg"></i> Edit on GitHub</a
         >
     </div>
     {% endif %}