On Sun, Mar 19, 2017 at 08:16:52AM +0100, Gerald Pfeifer wrote: > On Sat, 18 Mar 2017, Segher Boessenkool wrote: > > You now have added two entries for me; fixed like this: > > Oops! I missed the old one from four years ago since it wasn't > sorted in properly vs Hans Boehm.
Fourteen years, and no one noticed all that time. > Well, perhaps a subtle attempt to get you to contribute twice as > much? ;-) Right, that's why I had to immediately fix this :-) Cheers, Segher
