anhefti cdf3b6d452 fixed deletion of empty table rows on status change		2020-08-12 16:44:43 +02:00
..
ch/ethz/seb/sebserver	fixed deletion of empty table rows on status change	2020-08-12 16:44:43 +02:00