New release and git tag

[Schanzenbach, Martin]

Dear all,

due to some technical difficulties, the release for 0.12.0 was delayed.
During the delay, we fixed some bugs as they came up and thus had to re-tag
to a later commit in git.

If you cloned/updated gnunet git when the old tag existed, the new tag will be 
rejected.
In this case, you can safely delete the tag locally:

$ git tag --delete v0.12.0

And on the next pull you will get the correct tag.

Best
Martin

signature.asc
Description: Message signed with OpenPGP