We have the community edition installed ubuntu 10.04.
One of our users noticed today this little glitch:
As you can see, the time format is weird, showing the numbers with 3 decimals... It only happens when the interface language is set to Spanish... I use English so I hadn't noticed it before, so I don't know if it's a longstanding problem or something new...
Any ideas where can this come from and how to fix it?