* Dariusz Dwornikowski <dariusz.dwornikowski@cs.put.poznan.pl>, 2014-01-31, 21:02:
Should these bugs be then closed manually ?
Which bugs, and why do you want to close them? -- Jakub Wilk