Johannes Schindelin a écrit : > > That would be a bugfix. As such, it belongs into a different commit. I thought, for that kind of trivial bug that probably never hit anyone, a line in the commit message was enough. > Care to provide a patch? OK, will do. Olivier. -- To unsubscribe from this list: 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
