[Agda-dev] Vulnerability announced: update your Git clients

[Andrés Sicard-Ramírez]

FYI, ​
https://github.com/blog/1938-vulnerability-announced-update-your-git-client.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20141218/f29edc1c/attachment.html