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 | | |