Skip to content

KPI Date to july 1st (and no further changes)

Uwe Jandt (DESY, HIFIS) requested to merge date-to-july-1st into master

This sets KPI deadline to July 1st, as in !38 (merged), without preempting the weighting decisions of !38 (merged).

Edited by Uwe Jandt (DESY, HIFIS)

Merge request reports

Loading