Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
This patch fixes the problem reported in pr3437290 in both development and V0.9.
There are tests already in the test suite.
Development patch file
V0.9 patch file
Applied to git master.
Applied to git v0_9-branch.