On 09/19/2015 08:33 AM, adavies42 wrote: > Thanks for the quick fix. You can credit me as "Aaron Davies".
I noticed that there's already a such an entry, yet with a different email address: $ GIT_PAGER= git grep -F 'Aaron Davies' THANKS.in:Aaron Davies [email protected] Is this you? If so, should we change the email address there? Thanks & have a nice day, Berny
