ArangoDB version 3.12.5.2 released

[vadim]

We are happy to announce the release of ArangoDB version 3.12.5.2!

This patch version is ready for production deployment and is a recommended upgrade for all 3.12 users.

Apart from some basic cleanup and code improvements related to found issues, the following notable things have been added to the 3.12.5.2 version of ArangoDB:

• Fix BTS-2201: Make aggreate collect queries work again on an empty collection that has an index used in the query.
• Fix BTS-2152 Overfetch input on parallel Traversals.
• Add option --database.auto-upgrade-full-compaction to run a full RocksDB compaction on database upgrade.

Full changelog can be found here: https://github.com/arangodb/arangodb/blob/v3.12.5.2/CHANGELOG.
 
Version 3.12.5.2 distributives can be obtained at https://www.arangodb.com/download/.