Hi Mosè,

thanks a lot for making the release!

As a minor nit, it seems a release_13.2 tag is still missing.  Did you
forget to push the tag (git push itself doesn't push tags)?  Otherwise,
I can create and push it for commit bd2c1c67, I guess.

I'll also make a new ELPA release now.


Reply via email to