340dd8a pull in upstream fix for duplicate session name

Authored and Committed by rdieter 3 years ago
    pull in upstream fix for duplicate session name
    
        
file modified
+1 -0
file modified
+7 -1
file modified
+1 -0