On 2015-05-25 14:55:54 -0400, Bruce Momjian wrote:
> One issue I discussed is doing a pgindent-only release so users doing a
> diff would not have pgindent diffs mixed with fixes.
I find a pgindent only release a pretty pointless goal. That's what git
is for.