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