check_file_age: add option to provide perf data (#1292)
notifications at github.com
Tue Sep 30 08:32:42 CEST 2014
we do output perf data, if we have them but don't implement an option to
enable that. Is there any benefit to make that an option? If not, do you
might adjust the PR or should we do that?
Many thank, Jan.
Reply to this email on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Devel