9542ad If we add a comment, it'll trigger an update of the repo

Authored and Committed by Pierre-Yves Chibon 5 years ago
    If we add a comment, it'll trigger an update of the repo
    
    Thus no need to do it twice.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr></pingou@pingoured.fr>
    
        
file modified
+2 -1