[PATCH] merge some from Rusty's trivial patches
This page took 0.036771 seconds and 4 git commands to generate.