22bc35f Merge branch 'f24' into f25

Merged and Committed by junghans 7 years ago
    Merge branch 'f24' into f25
    
        
file modified
+2 -0
file removed
-32
file modified
+7 -6
file modified
+2 -2