Comment 5 for bug 1760515

waldi (herbert-herwig-i) wrote :

Fixed today.
Version 0.84.3ubuntu1