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. Bye, Tassilo
