dc9e0dd PR#1125: Ignore non-existing option when activate a session

Merged and Committed by mikem 5 years ago
    PR#1125: Ignore non-existing option when activate a session
    
    Merges #1125
    https://pagure.io/koji/pull-request/1125
    
        
file modified
+2 -2