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



_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users

Reply via email to