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