# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1531469265 -7200
# Node ID cdf13d06cf40cf1b569a6b04bbc65ea3006f9da8
# Parent  76af9465673dc518e7f81bbc6ed8c2e4e6dc8599# Parent  815e30657dad905d4dde9abcb8cae6f61223193b
integration jobs->mainline