From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Sun, 11 Dec 2022 10:49:59 +0000 (+0100)
Subject: Merge branch 'master' of 88.198.237.222:/git/m1-debian
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/e482ee3f59fbc5fedf33f10b0872a3f7587409eb?hp=03cc3222d38b43dabbe2732e78c9b027afdfb752

Merge branch 'master' of 88.198.237.222:/git/m1-debian
---

diff --git a/config.edge b/config.edge
index 1e6ede1..d4871e7 100644
--- a/config.edge
+++ b/config.edge
@@ -7411,7 +7411,6 @@ CONFIG_GENERIC_VDSO_TIME_NS=y
 CONFIG_FONT_SUPPORT=y
 CONFIG_FONTS=y
 # CONFIG_FONT_8x8 is not set
-CONFIG_FONT_8x16=y
 # CONFIG_FONT_6x11 is not set
 # CONFIG_FONT_7x14 is not set
 # CONFIG_FONT_PEARL_8x8 is not set