| Tue, 18 Dec 2007 19:54:31 +0100 | wenzelm | non-critical (accidental concurrent access does not affect functional integrity); | changeset | files |
| Tue, 18 Dec 2007 19:54:30 +0100 | wenzelm | PrintMode.setmp (avoid direct access to print_mode ref); | changeset | files |
| Tue, 18 Dec 2007 19:15:31 +0100 | huffman | rearrange into subsections | changeset | files |