On 6/17/13 5:31 PM, Alvaro Herrera wrote:> This is a large patch. Do you intend to push the whole thing as a> single commit, or split it?
I thought about splitting it up, but I didn't find a reasonable way todo it.