Re: launching pdd17pmc

Launched in r26309. François, your fix to Lua in r26308 went in after I started working on resolving conflicts in the merge, so I merged those changes after the rest in r26310. The pdd17pmc branch can now be considered dead. Allison

launching pdd17pmc

I'll merge the pdd17pmc branch back into trunk tomorrow morning, if I don't hear any show-stoppers by then. Allison