Hello, I tried to use r3253 from the autobuild directory, and the rev number displayed in the About box of minisip gtk_gui doesn't match the revision in the installer name, but 3244. Which information is right ? TIA. Philippe Torrelli