Since it's been established that the current 4.0 version of Dolphin has a bug and there is a statement in the blog "we will release a Dolphin 4.0.1 version fixing this bug", when will this version 4.0.1 be released?
In the meantime, which version should I download?
Thanks.
In the meantime, which version should I download?
Thanks.