Version number in the trunk

[Ivan]

Hi, I find that the version number in the trunk is 3.1.1 snapshot, but 3.1.1
has already been released. So does the version number in the trunk need to
be updated ?
Thanks !

-- 
Ivan