On Sun, Mar 4, 2018 at 11:37 AM, Bernhard Voelker <[email protected]> wrote: > On 03/03/2018 11:59 PM, Keith Thompson wrote: >> The "THANKS" file shows my e-mail address as "[email protected]", which is >> obsolete. >> >> Please update it to "[email protected]". >> >> THANKS > > The attached fixes it - okay to push? > > Thanks & have a nice day, > Berny
The attachment shows "address@hidden". Assuming the actual patch has the correct address, yes, okay to push.
