equal
deleted
inserted
replaced
56 user = msg['From'] |
56 user = msg['From'] |
57 # should try to parse msg['Date'] |
57 # should try to parse msg['Date'] |
58 date = None |
58 date = None |
59 |
59 |
60 if message: |
60 if message: |
|
61 if message.startswith('[PATCH'): |
|
62 pend = message.find(']') |
|
63 if pend: |
|
64 message = message[pend+2:] |
61 message = message.replace('\n\t', ' ') |
65 message = message.replace('\n\t', ' ') |
62 ui.debug('Subject: %s\n' % message) |
66 ui.debug('Subject: %s\n' % message) |
63 if user: |
67 if user: |
64 ui.debug('From: %s\n' % user) |
68 ui.debug('From: %s\n' % user) |
65 diffs_seen = 0 |
69 diffs_seen = 0 |