andreas pushed a change to branch wip-dover in repository maintenance. was 45e6486 hydra: Unify dover configuration with generic overdrive approach.
This change permanently discards the following revisions: discard 45e6486 hydra: Unify dover configuration with generic overdrive approach.