On Mon, Nov 17, 2014 at 2:05 PM, grarpamp grarpamp@gmail.com wrote:
Good idea; I've redone this in my text editor{*}, and applied as 6218f489509d4bd4a4c96be200565bb6f0906108. Please let me know if I messed it up.
{*} My paranoia tells me not to apply any unsigned patches to the list of authorities.