* Jakub Narebski <jnareb@xxxxxxxxx>:
Wouldn't it be easier (and less idiomatic) to just do
Oh, thanks for pointing it out. The second one I sent fixes it (and is against an updated master branch).
bye, Rocco -- :wq! - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html