On Mon, 14 Jul 2008, Paul Eggert wrote: > "Joel E. Denny" <[EMAIL PROTECTED]> writes: > > > I'm thinking of pushing the following commit to make "git status" useful. > > I hesitate in case someone knows of some git best practice that I'm > > missing. > > I don't know of any. Thanks for doing that.
Thanks Paul. I pushed it.
