On Mon, Jun 17, 2019 at 12:57 AM Gavin Flower
<GavinFlower@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