merge with crew.
authorVadim Gelfer <vadim.gelfer@gmail.com>
Tue, 09 May 2006 14:40:13 -0700
changeset 2240 56fddd98fef5
parent 2239 5e5adc1910ed (diff)
parent 2238 25af3f17ce95 (current diff)
child 2242 78ab05ef1339
child 2261 20cf545b4725
merge with crew.
--- a/hgext/bugzilla.py
+++ b/hgext/bugzilla.py
@@ -214,6 +214,7 @@ class bugzilla(object):
                 break
             start = m.end()
             for id in bugzilla._split_re.split(m.group(1)):
+                if not id: continue
                 ids[int(id)] = 1
         ids = ids.keys()
         if ids: