Re: Bug-report

[Asger Alstrup Nielsen]

> Amir> While we're talking about BUGS: The file BUGS in the main
> Amir> distribution directory currently has exactly one bug from
> Amir> 0.11.51.
> 
> Maybe Asger could tell us about this one... It seems to be fixed, IMO.

It actually still exists, but it's cosmetic and IMO not worth mentioning at
all.  If you want to, just move it into the BUGS file.  Or, just nuke it.

Greets,

Asger