ArangoDB version: 3.11.0

Release date: May 23, 2023