On Mon, Nov 17, 2014 at 2:05 PM, grarpamp <grarpamp at 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.
--
Nick