[webkit-dev] WebKit version numbers?

[Johan Lund]

I am staring at this bug:
https://bugs.webkit.org/show_bug.cgi?id=7138
which I was really hoping that it would make it into the next Safari  
version.
It says version: 420+ in the bug.

Safari 3.2 was released recently and it says it has version  
(5525.26.12); way past 420+ in my opinion.
But the bug is not fixed in Safari 3.2.

Can someone please educate me on how these version numbers actually  
work and how I can find out if a bug is supposed to have made it into  
Safari...

Thanks!