> On Sep 19, 2015, at 3:20 AM, Bernhard Voelker <m...@bernhard-voelker.de> > wrote: > >> 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 aaron.dav...@gmail.com > > Is this you? If so, should we change the email address there?
That's me, but there's no particular need to change the address--I remain reachable at that one as well as this one (and all the other variants used by Apple over the years--mac.com, icloud.com, etc.--as well as my old university address, ag...@columbia.edu, which may have snuck in somewhere. -- Aaron Davies
