We could name it in honor of Jimbo. ;) On Aug 7, 2014 1:18 AM, "David Gerard" <[email protected]> wrote:
> Call it "Bob". "Bob" is always a good name. > > > - d. > > _______________________________________________ > Wikitech-l mailing list > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wikitech-l _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
