On Mon, 2018-10-22 at 13:44 +0200, Arend van Spriel wrote: > On 9/12/2018 12:16 PM, Johannes Berg wrote: > > On Wed, 2018-09-12 at 12:14 +0200, Julia Lawall wrote: > > > > > > I see now that the website advertises the 1.0.7 release, however > > > > > > > > * it's not tagged in git(hub) - all previous releases have a tag > > > > * commit c1522bde ("Release 1.0.7") is NOT what's released as 1.0.7 on > > > > the website > > > > * it *looks* like the actual 1.0.7 release was cut from a much newer > > > > git commit, likely with the fix? > > > > > > There is now a tag for the official release of 1.0.7 in github. > > > > Great, thanks! > > Were you able to build this tag? I probably have dependency issues on > our build server. I tried following the install.txt in coccinelle repo, > but still getting failures. Some hints might be useful. The server runs > ubuntu trusty which is pretty old of course. Hmm. I built something, either that tag or the tarball? johannes -- To unsubscribe from this list: send the line "unsubscribe backports" in