[HTTPS-Everywhere] 3.3.2, 4.0development.10, and chrome-2013-8.16 released

[Jérémy Bobbio]

Micah Lee:
> 3.3.2 has been released:
> […]

I don't see the matching tags in the repository available at:
<https://git.torproject.org/https-everywhere.git>

Is it still the canonical repository? Did you forget to push the tags?

Thanks,
-- 
Jérémy Bobbio                        .''`. 
lunar at debian.org                    : :Ⓐ  :  # apt-get install anarchism
                                    `. `'` 
                                      `-   
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
URL: <http://lists.eff.org/pipermail/https-everywhere/attachments/20130817/9df752ff/attachment.sig>