[impdev] Old 1.2. issues

[Jacek Antonelli]

Could somebody please check these old issues that are assigned to version 1.2?

http://redmine.imprudenceviewer.org/projects/imprudence/issues?fixed_version_id=3&set_filter=1&status_id=o

If any of the issues are fixed now, please close them. If they are not
fixed, please reassign them to version 1.3, or clear the target
version. It doesn't make sense to have a to-do list for a version that
is already done. ;-)

- Jacek