From a343b6f0b7bf725d055cdfd664086301079c94f7 Mon Sep 17 00:00:00 2001 From: ErC Date: Thu, 14 Sep 2023 13:14:52 +0200 Subject: [PATCH] header: make logo point to home (#297) --- _includes/header.html | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/_includes/header.html b/_includes/header.html index 93d7ef6a7..528e86bf4 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -1,7 +1,12 @@