tree fe8cd039e428522cee3b9731b17ccdc3bd8f6971
parent cbb2bcf54161b50a3fde7e849f82f47020809f67
parent 50dd532934e8da9a4929d8dfae85265e5310a336
author Tao Bao <tbao@google.com> 1489000578 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1489000579 +0000

Merge "recovery: Fix the FIXME in get_menu_selection()."