On 5/27/19 6:59 AM, Osipov, Michael wrote: > please find a patch to fix a simple typo in configure.in: Thanks, I have pushed this and will backport it to 1.17 for the next patch release.