tree 9ec9654e6e0f01bde863be273e300ff91f5363b0
parent 15a381e52c93342b2b191df0a2c0dabb5dad28bc
parent ff185865fd8c634c009b8caa1cc18bffe89f023f
author Treehugger Robot <treehugger-gerrit@google.com> 1568923624 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1568923624 +0000

Merge "recovery: Don't report unrecognized option in recovery_main."