diff options
author | 2013-07-28 11:21:42 +0000 | |
---|---|---|
committer | 2013-07-28 11:21:42 +0000 | |
commit | 66d45da466854511e2efa26650335f9364415dbd (patch) | |
tree | 679c8c69fb79679906739d8ffcc5ecb77a86c5e0 | |
parent | 4c5eacb2f138761df819b09e20640a120cc47ae3 (diff) |
Added a comment
-rw-r--r-- | doc/bugs/_impossible_to_switch_repositories_on_android__in_webapp/comment_1_d488d71a72eb54d7711d2a867db6172f._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/_impossible_to_switch_repositories_on_android__in_webapp/comment_1_d488d71a72eb54d7711d2a867db6172f._comment b/doc/bugs/_impossible_to_switch_repositories_on_android__in_webapp/comment_1_d488d71a72eb54d7711d2a867db6172f._comment new file mode 100644 index 000000000..aedeaabf3 --- /dev/null +++ b/doc/bugs/_impossible_to_switch_repositories_on_android__in_webapp/comment_1_d488d71a72eb54d7711d2a867db6172f._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawnRai_qFYPVvEgC6i1nlM1bh-C__jbhqS0" + nickname="Matthew" + subject="comment 1" + date="2013-07-28T11:21:42Z" + content=""" +I can confirm it's virtually impossible to change repository on Android (Stock Galaxy Nexus GSM). you click on the files link (which is hard to see on phone as it is in the notification blocks) and then click click \"Switch repository\", on the next page, select a different one. I think it does actually change, occasionally, you have to kill and restart the daemon at least and I think you also have to restart the phone. +"""]] |