merge 597530 397757 thanks On Mon, 20 Sep 2010 23:49 +0200, "Stefan Monnier" <[email protected]> wrote: > > See #397757 why this would be correct. > Agreed. I guess this can be merged with #397757.
Hence. /* era */ -- If this were a real .signature, it would suck less. Well, maybe not. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
