Theano/Theano — pull request #483 by lamblin (2012-02-24 16:05:03+00:00)
Title: Fix release instructions

git push --tags pushes the tags only, not the commits.