Thanks, that's a bug which will be fixed for the next build.

Does DeepGit work better?

Unfortunately it's a rather big change. Besides SmartGit code itself, also jgit is involved and we wanted to gather feedback on our proposed patch. So various people and projects involved and this is the reason why it takes somewhat longer. Patch is acknowledged now and improvements are planned for version 18.1.