Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Not strictly necessary, but helps to sequence merges that add migrations. This prevents two patches with the same downrev from merging. Previously, if two patches with the same downrev merged, then a follow-up patch would be needed to fix one of the migration scripts, which is never a good thing. Change-Id: I032b54b800e3e58eba13a3cadd7f7a381c6f4177
- Loading branch information