- o dopey renamed to random. It is now the default database tool.
- Use the --dbtool option to choose another dbtool at startup, or
- the cdt command to switch between the supported dbtools.
+ o para_server: the dopey selector is now called "random",
+ and is the default selector. Use the --selector option to
+ choose another selector at startup, or the cdt command to
+ switch between the supported selectors.
+
+ o X86_64 fixes (thanks to Steffen Klassert)
+
+ o para_play fixes