On 2/12/18 16:19, Tom Lane wrote: > At that point, back-patching documentation fixes would become effectively > impossible except through manual intervention in the patching process.
Are you not using git cherry-pick? -- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
