| changeset 522 | 2f1de824798a |
| parent 516 | 873228c2f6cf |
| child 529 | aace5b681fe9 |
| child 542 | eda4c32c167a |
| 521:0fb8ade0f756 | 522:2f1de824798a |
|---|---|
839 for h in heads: |
839 for h in heads: |
840 if h not in m: |
840 if h not in m: |
841 unknown.append(h) |
841 unknown.append(h) |
842 |
842 |
843 if not unknown: |
843 if not unknown: |
844 self.ui.status("nothing to do!\n") |
|
845 return None |
844 return None |
846 |
845 |
847 rep = {} |
846 rep = {} |
848 reqcnt = 0 |
847 reqcnt = 0 |
849 |
848 |