On Mon, 10 Sep 2018, Johannes Berg wrote: > Julia, > > On Tue, 2018-08-14 at 15:19 +0200, Julia Lawall wrote: > > > Sorry, I'm not sure where 1.0.7 came from. [...] > > > I would indeed like to make a release now that the compiations issues are > > resolved and things seem more stable. > > Were you able to clear this up? > > 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. julia -- To unsubscribe from this list: send the line "unsubscribe backports" in