← Back to team overview

dolfin team mailing list archive

Thread
Date

Moving TODO list to Bugzilla

To: Discussion of DOLFIN development <dolfin-dev@xxxxxxxxxx>
From: Anders Logg <logg@xxxxxxxxx>
Date: Fri, 7 Jul 2006 14:39:42 +0200
Delivered-to: dolfin-dev@xxxxxxxxxx
Mail-followup-to: Discussion of DOLFIN development <dolfin-dev@xxxxxxxxxx>
User-agent: Mutt/1.5.11

I suggest we move the items that are still current on the TODO list
to Bugzilla. On the drop-down menu for "severity" of a reported bug,
one can choose "enhancement" (enh).

Once we have removed everything from the TODO file, we can remove it.

I've added one item to the list for testing.

/Anders