848c7d fix print of non-ascii filenames (#225576)

Authored and Committed by pstodulk 3 years ago
    fix print of non-ascii filenames (#225576)
    
        
file modified
+8 -2