Releasing patch 13.0.2?

[luc]

I would like to release 13.0.2 patch now.
If anyone wants to add something, please tell me.