Marcello Stanisci picked up issue 0005232

Marcello Stanisci created issue 0005232

Marcello Stanisci picked up issue 0005231

Marcello Stanisci created issue 0005231

Marcello Stanisci commented on issue 0005199

Marcello Stanisci closed issue 0005199

Marcello Stanisci assigned issue 0005230 to Florian Dold

Marcello Stanisci created issue 0005230

Marcello Stanisci closed issue 0005224

Marcello Stanisci picked up issue 0005224

Marcello Stanisci commented on issue 0005016

Marcello Stanisci resolved issue 0005016