On 03 April 2013 15:21:33, Neil wrote:
Since tinderboxpushlog no longer uses tinderbox, maybe it should get renamed ;-)
Agreed - TBPL's successor is going to be called something other than TBPL2 (name chosen so far is treeherder).
Best wishes, Ed _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
