* Ralf Wildenhues wrote on Sun, Nov 25, 2007 at 05:16:16PM CET: > > I messed up.
Hehe. I did mess up, but only in *reading* git's output. So that merge only happened in my unpublished tree, not upstream. Time for some coffee. Move along, nothing to see here. Cheers, Ralf