b5d342e Merge back dist-git changes

Authored and Committed by frantisekz 5 years ago
    Merge back dist-git changes
    
        
file modified
+6 -0