864ba51 Modify the database timestamps when the build state changes

1 file Authored by mprahl 7 years ago, Committed by nphilipp 7 years ago,
    Modify the database timestamps when the build state changes
    
        
file modified
+7 -2