Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
201 to 248 of 248
Someone did Gérard in the meantime.
@jc: I merged them.
@Tobias Fritz: Done.
@Dennis and joel: done.
Two Matthias Krecks:
Sayan, do you want to keep 13739 or 30703?
@Asaf: I've merged the two Gérard Langs.
Something I've belatedly remembered (an oversight from the Old Days): 637 should be merged into 763. (Shame to spoil the numerical coincidence, though.)
Registered user 31541 is Jim Stasheff, whose main account is 16682. He didn't understand why she showed up as 'unknown' when he asked a question yesterday; could these accounts be merged?
Oh, 'he' of course.
It might be a good idea to merge
although I don't know if he has additional unregistered accounts
@Andres, @michor, @Joel and @motl737, all done.