Hi Jakub, On 1/16/19 11:14 AM, Jakub Wilk wrote:
Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx>
Thanks. Patch applied. It would be good to include a commit message that notes where you obtained the info. I assume that it was from "/bin/time --help", and I added a note to that effect. Thanks, Michael
--- man1/time.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man1/time.1 b/man1/time.1 index 78663ebab..a5456581a 100644 --- a/man1/time.1 +++ b/man1/time.1 @@ -300,7 +300,7 @@ option should be the default.) Mail suggestions and bug reports for GNU .B time to -.IR bug\-utils@xxxxxxxxxxxxxxx . +.IR bug\-time@xxxxxxx . Please include the version of .BR time , which you can get by running