On Mon, Aug 15, 2016 at 07:34:50PM +0200, Andreas Schwab wrote:
> On Aug 15 2016, Jeff King <p...@peff.net> wrote:
> > And implicit in your test is the other bug, which is that deleting the
> > last key in a section leaves the empty header. I think it's related to
> > the same issue.
> Indiscriminately removing empty section headers may break comments that
> have been put there on purpose.
I know, but we do not even do so discriminately.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html