On 06/07/2013 10:36 AM, Lukas Zapletal wrote: > Commit is fine, push should be enough. ;-) > > Anyway - my understanding of the original e-mail is "And I am going to > reset this commit - do not pull", right? > > LZ No plans to revert since it is a tiny fix, just looking for a quick review. It is one character, so low risk :) -- bk