d10db0 Make sure we update the information in the DB one last time before merging

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Make sure we update the information in the DB one last time before merging
    
        
file modified
+5 -0