Hello,
I found a bug: source points to the wrong page. [1]
I know that bugs should be reported via Github. But I don't have an
account and don't want to create one. There might be others who don't
want to use Github. Why rely on external bug tracker? I assume that it
has been chosen because of
On 13 September 2012 04:53, Stayvoid stayv...@gmail.com wrote:
Hello,
I found a bug: source points to the wrong page. [1]
I know that bugs should be reported via Github. But I don't have an
account and don't want to create one. There might be others who don't
want to use Github. Why rely on