protect against concurrent runs - redone
[infrastructure.git] / scripts / post-revprop-change
2007-07-05 thierrycreation