changed milestone to %Nice to have
added Backend Verifier labels
unassigned @jonasblatt
mentioned in commit ab8c5263
closed