Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #3377 from RichardBronosky/patch-1
Automatic merge from submit-queue small docs improvement Make cmd1 populate the var for cmd2 Using `tee /dev/stderr` allows the user to still get output if they copy-pasta the first command. The other changes prepare the HZC variable so it can be used if they copy-pasta the second command.
- Loading branch information