Message303039
> The output in PR 3765 partially duplicates the output of the -v option.
Right. But the idea is to be able to use "grep 'import time:'" to only extract importtime logs. "-v" logs different kind of informations. |
|
Date |
User |
Action |
Args |
2017-09-26 13:15:31 | vstinner | set | recipients:
+ vstinner, gvanrossum, brett.cannon, rhettinger, christian.heimes, methane, serhiy.storchaka |
2017-09-26 13:15:31 | vstinner | set | messageid: <1506431731.33.0.81960203447.issue31415@psf.upfronthosting.co.za> |
2017-09-26 13:15:31 | vstinner | link | issue31415 messages |
2017-09-26 13:15:31 | vstinner | create | |
|