Hi Peter,

thanks, fixed in SVN 931.

/// Jürgen


On 04/23/2017 08:31 PM, Peter Teeson wrote:
# make dist and then add Makefile,dist
                                                       |
# make dist and then add Makefile.dist



Reply via email to