| Tue, 27 Oct 2009 16:03:06 +0100 | wenzelm | more thread-safe access to global refs; | changeset | files |
| Tue, 27 Oct 2009 16:02:43 +0100 | wenzelm | avoid structure alias; | changeset | files |
| Tue, 27 Oct 2009 15:02:31 +0100 | wenzelm | comment; | changeset | files |
| Tue, 27 Oct 2009 13:34:37 +0100 | wenzelm | non-critical output -- ship message in one piece; | changeset | files |