On Fri, May 23, 2008 at 03:18:59PM +0100, Garth N. Wells wrote: > This indeed looks like a bug. > > I don't have time to look at it,
I will take a look as soon as I can. > but it would be nice to keep track of > it. Is Bugzilla still working? I think so, but I must admit I rarely look at it. > Are there alternatives to Bugzilla? I've never warmed to it (more > accurately, I really dislike it), hence I haven't used it. The Debian > bug tracking system seems pretty popular > > http://www.chiark.greenend.org.uk/~ian/debbugs/ Of the examples cited on that page, two have moved to Bugzilla (GNOME and KDE). I don't have a strong opinion on this, but if it works for GNOME and KDE, it should work for us... -- Anders _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
