diff options
author | Mike Frysinger <vapier@google.com> | 2022-08-19 08:02:38 -0400 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2022-08-22 20:48:29 +0000 |
commit | 5a5cfce1b2efa50f3aa4eca850c1751f204e7404 (patch) | |
tree | c6cea4f27052cdc598fa4974f0e01d92ef430ca7 /manifest_xml.py | |
parent | e6d4b840607835008c54714a4f99f1320dd36e99 (diff) | |
download | git-repo-5a5cfce1b2efa50f3aa4eca850c1751f204e7404.tar.gz |
stage: add missing flush before project prompt
Bug: https://crbug.com/gerrit/13223
Change-Id: Ib279d86a52e1035e02d6f7d8f053c3a43e721032
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/343555
Reviewed-by: LaMont Jones <lamontjones@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'manifest_xml.py')
0 files changed, 0 insertions, 0 deletions