[ref_impl_eiffel] [1378] In the repository profile dialog, if the user edits the name of an existing profile, fix an invariant failure that the selected profile name was not matching the corresponding profile in the repository profiles configuration objec

Revision: 1378
Author: peter.gummer
Log Message: