d670057 Fix exception raised by jenkins

Authored and Committed by pingou a year ago
    Fix exception raised by jenkins
    
    This is an exception observed in the logs, so we may just as well
    fix it now before it bites us.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
    
        
file modified
+7 -2