To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
LET delete_processing(data,dataid,dsid) = use(data,dataid,dsid) AND (ONCE delete(data,dataid,dsid)) IN
delete_processing(data,dataid,dsid)
