On Fri, Nov 15, 2013 at 11:38 PM, Jaime Casanova <jaime(at)2ndquadrant(dot)com> wrote:
> those are functions that are no longer used but Josh considered they
> could become useful before release.
> i can put them inside #ifdef _NOT_USED_ decorations or just remove
> them now and if/when we find some use for them re add them
Why not simply removing them? They will be kept in the git history either way.
--
Michael