1a6eefe Merge branch master into devel0.6

Merged and Committed by Libor Polčák 2 years ago
    Merge branch master into devel0.6
    
    0.6.1 related changes
    
        
file modified
+2 -0