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
