On Wed, Feb 18, 2009 at 8:46 AM, Eli Barzilay <eli at barzilay.org> wrote: > Actually, there's plenty of stuff like that in the handin client, and > together with the sudden popularity (very relatively speaking) of the > handin server
The last time anyone mentioned handin on the main list it wasn't working right or something. What changed? It is more popular now?
