Bug#955582: closing 955582

[Antonio Terceiro]

close 955582 
thanks

no, actually this bug here is solved. the current problem is a separate one, I
will open a new bug report about it.