The Android app no longer accepts upper case in the repository name, counter to the fix in 0.8.13.
This is in the .12 version of the app. Creating the repo in the GUI with a lower case name and then manually editing it in config.xml partially works: the app will start but you can’t then assign any nodes to sync with (and you can’t really do that manually unless you are a complete masochist).
The repository ID is correct (uppercase) in the expanded view, but as soon as you click to edit it, the field still contains the default name… 