On 17/09/15 08:40, Paul Eggert wrote: > From d124dbfde656a0aee00d5d89406acdb0c5bfe831 Mon Sep 17 00:00:00 2001 > From: Paul Eggert <[email protected]> > Date: Thu, 17 Sep 2015 00:37:30 -0700 > Subject: [PATCH] =?UTF-8?q?shred:=20don=E2=80=99t=20document=20-NUMBER=20o?= > =?UTF-8?q?ption?=
Thanks for the patch. I found it interesting you used "curly quotes". No objection, just noting. cheers, Pádraig.
