Hi Gilles, Would you mind doing a "git push --tags" up to github? It's helpful to see which commits are in which snapshots, and currently this isn't easy to determine unless you push your local snapshot tags up to github.
Thanks, Jason -- You received this mail because you are subscribed to [email protected] To unsubscribe, send a mail to: [email protected]
