# HG changeset patch # User diego # Date 1321437269 0 # Node ID 183cab72ca08da6511ac54a6fde8bf885018235d # Parent aa8061d708b91dfdd42e4e538f2eb32c8fd70269 doc: our Bugzilla is no longer brand-new; closes Bugzilla #2013 diff -r aa8061d708b9 -r 183cab72ca08 DOCS/xml/en/bugreports.xml --- a/DOCS/xml/en/bugreports.xml Tue Nov 15 17:57:23 2011 +0000 +++ b/DOCS/xml/en/bugreports.xml Wed Nov 16 09:54:29 2011 +0000 @@ -209,7 +209,7 @@ -If you prefer, you can use our brand-new +If you prefer, you can use our Bugzilla instead.