On Thu, Aug 15, 2013 at 2:32 AM, Ben Tebulin <tebu...@googlemail.com> wrote:
> Just as a catchup for everybody being interested:
> I finally wrote to the linux-mm newsgroup and Linus pointed out, that
> this might be a known bug yet not fixed in mainline.
> Unfortunately this doesn't seem to stand the test; but as far as Git is
> concerned, it appears that that they are willing to take actions.
Thanks for following this up.
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