On Mon, Apr 11, 2016 at 2:35 PM, Simon Riggs <simon@2ndquadrant.com> wrote:
> Yeh, sort has changed enough now that fixes weren't going to backpatch
> cleanly, so its a good time to do cleanup.
I wonder if the category of "Developer Options" is appropriate for
trace_sort. trace_sort is closer to log_executor_stats, which is
categorized as "Statistics / Monitoring". I guess it isn't worth
changing now, though.
--
Peter Geoghegan