-
Volker Krause authored
This is not actively used yet, but is supposed to replace the current temporary workarounds for this in Manager. As a side-effect coverage data will become mandatory for all backends going forward, there wont be in an implicit global coverage anymore.
6be69100