Re: [Savannah-hackers] Re: Mozilla bug 163503 makes savannah hard to use

[Pavel Roskin]

Hello!

> I do not think the Mozilla crowd is trying to set their own standard. Bugs
> happen even in the best development teams and our priority should be users'
> support, not trying to teach developers a lesson.

Agreed 100%

> If it is a hassle to do that change and then remember to redo it later,
> then that's a valid reason not to remove the hover: attribute, which has
> nothing to do with Mozilla but with our own job.

It's already commented out in the default "Savannah" theme, which is good
enough.

-- 
Regards,
Pavel Roskin