diff options
| author | Jakub Wilk <jwilk@jwilk.net> | 2019-01-15 23:14:45 +0100 |
|---|---|---|
| committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2019-01-17 08:36:08 +1300 |
| commit | dff4ddae778b33cb49b3a580b453c1e387a48c0d (patch) | |
| tree | 66e5a98d3cf2f2b896fbb01262e1071529ccaccd | |
| parent | 6f25f547da823cdfd5149822dc41a3b1a15f69a7 (diff) | |
| download | man-pages-dff4ddae778b33cb49b3a580b453c1e387a48c0d.tar.gz | |
time.1: Update bug reporting address
Update the bug reporting email address to that shown by
/bin/time --help
Signed-off-by: Jakub Wilk <jwilk@jwilk.net>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
| -rw-r--r-- | man1/time.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man1/time.1 b/man1/time.1 index 78663ebab3..a5456581a4 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@prep.ai.mit.edu . +.IR bug\-time@gnu.org . Please include the version of .BR time , which you can get by running |