I have to report a bug in the webkitgtk gtklauncher but on bugs.webkit.org the version numbers go from 312x to 528+ but webkitgtk version is 1.8.3 Which version I choose to report the bug? Thank you.