On Wed, Nov 6, 2013 at 9:16 AM, H. Peter Anvin <hpa@xxxxxxxxx> wrote: > > > I have a copy; I have uploaded it to: > > http://git.zytor.com/?p=users/hpa/sparse/sparse.git;a=commitdiff;h=23525c14bc263d70165fedf469d35cdb31b0ac35 > > It would be good if someone would not only pull this but merge it into > the master branch of the main sparse repo. > Good idea. Let me do that. Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html