On 10/22/2018 9:49 PM, Hauke Mehrtens wrote:
On 10/22/2018 01:45 PM, Johannes Berg wrote:
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
I built the tag on Debian stable successfully, some older versions did
not build but this tag worked.
That is Debian 9.5 I take it?
Gr. AvS
--
To unsubscribe from this list: send the line "unsubscribe backports" in
