a rename in the "WorstPlanSelector" configuration option. I don't think that anybody has used this yet.
Authored by: vsp_nagel 2012-03-05
Parent: [r18607]
Child: [r18609]