If you look into the “Bugs” section you will find that the reported bug is already marked as “closed / fixed”.