Peter Geoghegan Thu, 18 Feb 2016 11:49:27 -0800
I vote back patch. Subtle differences between the branches should be avoided.
-- Peter Geoghegan