Merge branch 'newpc92timings' of /scm/spider into newpc92timings newpc92timings
authorDirk Koopman <djk@tobit.co.uk>
Sat, 22 Sep 2007 15:14:53 +0000 (17:14 +0200)
committerDirk Koopman <djk@tobit.co.uk>
Sat, 22 Sep 2007 15:14:53 +0000 (17:14 +0200)

Trivial merge