0.12dev: prevent r7692 from being merged
Authored by: cboos 2008-11-28
Parent: [r7731]
Child: [r7733]