Subject: Re: core-updates frozen!

From: Christopher Baines <[email-masked]>
Date: Sat, 13 Jul 2019 23:17:00 +0100

I've sent a few patches to fix a couple of build issues on the
core-updates branch [1][2].

1: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36641
2: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36643