Hi Thomas,

I’ve just pushed small improvements for “make dist”.  Let me know what
you think.

Thanks,
Ludo’.


Reply via email to