b166b58 Merge "fix cached package check in repo_update.py" into develop

1 file Merged by Dan Callaghan 12 years ago, Committed by Gerrit Code Review 12 years ago,