On Sat, Mar 04, 2006 at 07:05:05PM +0100, Gianluca Guida wrote: > On 3/4/06, Thomas Schwinge <[EMAIL PROTECTED]> wrote: > > [NORMA] > > I was > right today thinking about evaluating it and thinking about what could > be done for reintegrating it.
As you told me on IRC, you're not going to do that, so I removed all the NORMA code. Regards, Thomas _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd