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