tree c0916ae9ed5525872df4ab7985f37db7b6eb0608
parent 6538a60efdc6edf66929e8e07c69ee5fa33c32f9
parent 0ac28eed3f5d796198e8b510ed82374ce99090d1
author Tor Norbye <tnorbye@google.com> 1348503829 -0700
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1348503830 -0700

Merge "Improve the Device menu"