[pph] Merged trunk->pph

2011-07-13 Thread Diego Novillo
This brings in the cp_binding_level change I made recently on trunk. Tested on x86_64. Diego.

[pph] Merged trunk -> pph

2011-07-05 Thread Diego Novillo
This merge brings the pph branch up to rev 175832. No new failures nor merge conflicts this time. Tested on x86_64. Diego.