diff options
Diffstat (limited to 'docs/bugs.tex')
| -rw-r--r-- | docs/bugs.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/bugs.tex b/docs/bugs.tex index ed2535d21..9c46b5a7e 100644 --- a/docs/bugs.tex +++ b/docs/bugs.tex @@ -45,7 +45,7 @@ A ticket might be closed by a developer because: \item the problem cannot be reproduced by the developers (worksforme) \end{itemize} -A the same time, the reporter may want to get the ticket closed since he is not +At the same time, the reporter may want to get the ticket closed since he is not longer able to trigger the bug, or found it invalid by himself. When a ticket is closed by a developer and marked as "fixed", the comment contains |