[release] version bump to 13.1 final
Merge pull request #4793 from MartijnKaijser/13.1

13.1