The first three are trivially correct and good changes. I still have
to read the last one, but wanted to give a Thanks before doing so,
which would take more time.

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to