On Sat, May 4, 2013 at 4:15 AM, Daniel Shahaf <[email protected]> wrote: > Ben Reser wrote on Fri, May 03, 2013 at 22:40:57 -0700: >> The notice in the file sounds like a good idea, but I'll need to tweak >> the bot to do it. Maybe I'll have some time to do it tomorrow. > > r1479077.
Thanks, I added a comment in r1479237.
