From: Christian Herdtweck Date: Thu, 7 Feb 2019 15:45:54 +0000 (+0100) Subject: Merge branch 'make-dist-improvements' X-Git-Tag: v1.4~4 X-Git-Url: http://developer.intra2net.com/git/?a=commitdiff_plain;h=e6eb9f5d4450dfeef7f48cfd5ab64f5c9bb9699a;p=pyi2ncommon Merge branch 'make-dist-improvements' --- e6eb9f5d4450dfeef7f48cfd5ab64f5c9bb9699a