On Dec 31, 2013, at 5:46 PM, Uri Shachar <[email protected]> wrote:
> > We have something buggy in jenkins -- I'm blameless (at least in this > particular case :-) ) > The problematic commit was > > commit 47982165a1f1beb0bb3d8145fcdf8447f59dbcad > Author: Radim Kolar <[email protected]> > Date: Tue Dec 31 13:43:27 2013 -0700 Yeah, this is mine, bad review on my part. -- Leif
