Old bug reports

Fixed bug reports or reports that were no bugs after all are moved here. If you think this was by mistake, please say so.
Top Bottom