Issues not sorted in any particular order.
  #[num] refers to bug report numbers.
  UNASSIGNED means that no person has publicly stated to work on the issue.
  DELETE means the issue is subject for dismissal

To get fixed in 7.12.1 (planned release: August 2004)
======================

 Bugfixes reported until late July

To get fixed in 7.12.2 (planned release: December 2004)
======================

 Bugfixes reported until late November
