Release 0.13.0

[ThomasWaldmann]

Details see the change log.

---

This discussion was created from the release Release 0.13.0.

[ThomasWaldmann]

Finally a new release after running the site 8 years from master branch!

I also created a 0.13-maint branch in case we will do more 0.13.x releases, e.g. for bug fixes or security updates.

[HorvathAkosPeter]

Very fine, to see my changes in the changelog as well. Currently, not the really big ones yet :-)