On Thu, 5 Oct 2017, Joe Perches wrote: > On Thu, 2017-10-05 at 21:40 +0200, Julia Lawall wrote: > > On Thu, 5 Oct 2017, Joe Perches wrote: > > > btw: spatch 1.7 doesn't seem to have a tag in git > > > > > > From the script: > > > > > > // Requires: 1.0.7 > > > > > > Assuming this is correct, then this doesn't even run today > > > except maybe on your system. > > > > It runs on the current github version. If you don't have the github > > version it will suffer from false negatives, but nothing will break. > > fyi: there's no tag for 1.0.7 there either. Yes, I know. 1.0.7 doesn't exist. I didn't think it would be meaningful to put the actual version I get with 1.0.6 with the commit id, because commit ids aren't ordered. I hoped that 1.0.7 would be released, but I haven't gotten confirmation that all of the makefile issues have been resolved. julia -- To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html