Bug#988036: Three different reported bugs

Control: fixed -1 3.3.7-1

Bug#988036: Three different reported bugs

Control: reopen -1 Control: tags -1 +fixed let this bug be auto-closed, otherwise mentor.d.n complains

Bug#988036: Three different reported bugs

Control: close -1