On Mon, Aug 1, 2016 at 7:47 PM, Karan Sikka <karanssikka(at)gmail(dot)com> wrote:> I agree, should we remove it from the TODO list?
If nobody objects, sure.
-- Robert HaasEnterpriseDB: http://www.enterprisedb.comThe Enterprise PostgreSQL Company