Re: [Valgrind-users] No Git tag for v3.15.0

[Julian S. <js...@ac...>]

Hi Mark,

 > Julian would you mind creating a signed tag for this commit?
 > Using the same pgp key you used to sign the release tar ball?
 >
 > git tag -s -m "valgrind 3.15.0 release" VALGRIND_3_15_0 \
 >      608cb11914e5f23d0fc12c61dad29c5c7952a1de
 > git push --tags

Done!

J