> As I'm new to bugfixing, what's the story wrt to closing old bugs? What has
> to happen to show that they are fixed/resolved?

I'm working on the alpha floating point right now, so you should probably
leave those open. Actually, please leave everything assigned to
port-alpha-maintainer as is for now.

//ross