On Mon, Jun 17, 2019 at 12:57 AM Gavin Flower <gavinflo...@archidevsys.co.nz> wrote: > > > I thinking fixing this silently should be at least a hanging offence. >
Maybe adding a MD5 header to the file to check if it has been altered outside guc.c might be enough. Regards, Juan José Santamaría Flecha
