KPI Date to july 1st (and no further changes)
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)
This sets KPI deadline to July 1st, as in !38 (merged), without preempting the weighting decisions of !38 (merged).