# HG changeset patch # User Vadim Gelfer # Date 1147210813 25200 # Node ID 56fddd98fef5e5fdf042e2745960689452e6d667 # Parent 5e5adc1910ed0e32855234a7cf70a018cbf4c914# Parent 25af3f17ce95d38fce90ec5012fa424a0befc870 merge with crew. diff -r 25af3f17ce95 -r 56fddd98fef5 hgext/bugzilla.py --- a/hgext/bugzilla.py Tue May 09 13:29:55 2006 -0700 +++ b/hgext/bugzilla.py Tue May 09 14:40:13 2006 -0700 @@ -214,6 +214,7 @@ 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: