Sean Whitton writes: > On Mon, Apr 25, 2016 at 07:21:05PM +0200, Alberto Luaces wrote: >> Can somebody upload it to the queue, please? > > Submit an RFS in the usual way and include the header > > X-Debbugs-CC: debian-emacsen@lists.debian.org Thanks, Sean. I have now done so (it is bug #8226348) but somehow I managed to mess up the header part and as a result it is not set. I wonder how to set it up afterwards.