sourceforge says it wants our repo url changed
Authored by: michaz 2015-02-18
Parent: [r32204]
Child: [r32206]