True, done.
On Fri, Jul 8, 2016 at 2:51 PM, Xose Vazquez Perez <xose.vazquez@xxxxxxxxx> 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.
-- dm-devel mailing list dm-devel@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/dm-devel
