On Fri, Jul 8, 2016 at 2:51 PM, Xose Vazquez Perez <xose.vazquez@gmail.com> wrote:

On 07/08/2016 08:52 AM, Christophe Varoqui wrote:

> Patches 1 and 2 are merged.
> I commited a patch to delete DIRECTIO and TUR checker_name
> settings to replace patch 3 and 4.

You should also have deleted these lines:
"                .checker_name  = DEFAULT_CHECKER," x3

I will send a path.