Subject: Re: [PATCH] git-config: document --rename-section, provide --remove-section

From: Paolo Bonzini <[email-masked]>
Date: Sat, 03 Mar 2007 07:33:35 +0100

> 	Paolo, do you agree with this patch?

Sure I do.

Signed-off-by: Paolo Bonzini <[email-masked]>