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