mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-02-23 23:27:27 +08:00
Fix indent error which would have prevented choice expiration to work.
Change-Id: I077e05eea23ad58d1dde2c9fe5608660a56d03e5 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/318815 Tested-by: Xin Li <delphij@google.com> Reviewed-by: Amith Dsouza <amithds@google.com> Reviewed-by: Raman Tenneti <rtenneti@google.com>
This commit is contained in:
parent
e0b16a22a0
commit
6f8c1bf4ff