Release 0.13.0

[Jens Geyer]

Hi all,

any objections against cutting a 0.13.0 branch this weekend?
Any unsolved tickets anybody absolutely wants to have in that one?

@Jim: You around? Haven’t read you for a while ...

Have fun,
JensG