devtools/v23: making sure the verbose output of "v23 -v cl mail" does not result in a spurious failure of the copyright check
devtools/v23: making sure the verbose output of "v23 -v cl mail" does
not result in a spurious failure of the copyright check

Change-Id: Ib82c4dc4a8779677346e6730ff22fbd3f943a7b7

vanadium/go.jiri,vanadium/go.jiri