(In any case, you should always check with svn head to find out whether the bug was not fixed meanwhile).
(In any case, you should always check with svn head to find out whether the bug was not fixed meanwhile).