Release v3.1.0

Release Notes

This is a bug fix release. Not all bug fixes are listed below. We also did some internal restructuring here and there.

As usual, this release can be installed from the new update site (see the tools section).

Bug Fixes

TicketQuery(status=closed&milestone=v3.1.0 (bugfix release))?