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. Well, perhaps a subtle attempt to get you to contribute twice as much? ;-) Thanks for catching and fixing, Segher. Gerald
