Subject: Re: [bug#33434] [PATCH] gnu: font-ubuntu: Update url.
From: Jan Nieuwenhuizen <[email-masked]>
To: Efraim Flashner <[email-masked]>
Cc: [email-masked]
Date: Wed, 21 Nov 2018 14:07:32 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Jan Nieuwenhuizen writes:

> I'll commit this to core-updates tomorrow.

After a short discussion on IRC, pushed to master as

96cae1b48c12b7b5b4a68d86ac9d714cab2d9881

Thanks!
janneke