You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hey, the bug wasn't introduced by me in that PR, could have been noticed in the review for it maybe but it was in the original version :), but yes... thanks for merging
Activity
certik commentedon Dec 15, 2012
I think this issue was fixed by #2823, @seberg, can you please verify?
certik commentedon Dec 15, 2012
The PR that fixes this in the 1.7 branch is #2820.
seberg commentedon Dec 16, 2012
Hey, the bug wasn't introduced by me in that PR, could have been noticed in the review for it maybe but it was in the original version :), but yes... thanks for merging
charris commentedon Dec 16, 2012
All is forgiven ;)
certik commentedon Dec 16, 2012
Ok, I am closing this one.