[edgedb]
server-version = "5.6"