Fixed that repository identifier may not be displayed in project settings (#12332).
Authored by: jplang 2012-11-18
Parent: [r10836]
Child: [r10838]
