SmartGit 7.2 preview 12 mostly fixes a couple of bugs.