0.12dev: prevent r8231 from being merged back from 0.11-stable.
Authored by: cboos 2009-06-19
Parent: [r8269]
Child: [r8271]
