diff --git a/ChangeLog b/ChangeLog index 5b1a0aa408..151136c592 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2003-02-13 Raphael Quinet + + * docs/make-todo: fix the address of the GIMP bug database so that + it is possible to use bug references like #106008 in + TODO.xml. Fixes bug #106008. + 2003-02-13 Michael Natterer * tools/pdbgen/pdb/plug_in.pdb: fixed plugins_query() I broke diff --git a/docs/make-todo b/docs/make-todo index 485ea61b77..aa73cc2cf5 100755 --- a/docs/make-todo +++ b/docs/make-todo @@ -25,7 +25,7 @@ def bug_subst(s): return s.group(0) else: n = s.group(2) - return '#%s' % (n[0:2], n, n) + return '#%s' % (n, n) def bugify(str): str = re.sub ("(<[^>]*>)|#(\d+)", bug_subst, str)