Subject: Re: [bug#39025] [PATCH] gnu: linux-libre: Enable 16x32 Terminus font.
From: Tobias Geerinckx-Rice <[email-masked]>
To: [email-masked]
Date: Fri, 17 Jan 2020 01:28:28 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed with the addition of the 6x10 font as 
2c97c980a0ca5f77464cd74207e29d835376f85b.