I cannot change profiles. Always i must save the profile and afterwards delete
the old profile. And if you want to have the same profile name, you have to do
this twice.
Original issue reported on code.google.com by stefan.riedelseifert on 30 Sep 2012 at 4:59
Original issue reported on code.google.com by
stefan.riedelseifert
on 30 Sep 2012 at 4:59