Re: Can we fix 'make dist' before 4.8.16 release?

[Andrey Tataranovich <tataranovich gmail com>]

On Fri, 04 Mar 2016 09:48:16 +0300
Andrew Borodin <aborodin vmail ru> wrote:

> On Fri, 4 Mar 2016 09:31:25 +0300 Andrey Tataranovich
> <tataranovich gmail com> wrote:
> > Can we cherry-pick cee105c40952d4855ba47640 to master before 4.8.16
> > - this will fix nightly builds for Debian/Ubuntu packages.
>
> This is already in master: 0d9b120a63ee1085c121121087f22ae728720128.

Sorry I do not checked latest git changes before writing to list. I
will run build process again and report later.

As I see this commit was merged in master only today.

-- 
WBR, Andrey Tataranovich