diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-10-23 10:37:13 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-10-23 10:37:13 (GMT) |
| commit | af0ca78ae16713dc46fed62840a9e39146116fe7 (patch) | |
| tree | 8003a5868cae4722bca1f8057374cb5d0061633d /web/input | |
| parent | 31cb6cb63b04c9e3bd66e676d18e2277a2fecd8e (diff) | |
| download | site-af0ca78ae16713dc46fed62840a9e39146116fe7.tar.gz | |
support.md: Change the wording a bit
Testing the current snapshot is purely optional, searching the issue
tracker less so.
Diffstat (limited to 'web/input')
| -rw-r--r-- | web/input/support.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/web/input/support.md b/web/input/support.md index b16d579..31e66aa 100644 --- a/web/input/support.md +++ b/web/input/support.md | |||
| @@ -7,8 +7,8 @@ menu: 5 | |||
| 7 | 7 | ||
| 8 | ## Bug Tracker | 8 | ## Bug Tracker |
| 9 | 9 | ||
| 10 | If you believe you found a bug, you might want to [check][search] whether it | 10 | If you believe you found a bug, please [check][search] whether it has been |
| 11 | has been reported to our [issue tracker][tracker] already. Please also try | 11 | reported to our [issue tracker][tracker] already. You might also want to try |
| 12 | the [current snapshot][snapshot], as the bug may be fixed in the latest code. | 12 | the [current snapshot][snapshot], as the bug may be fixed in the latest code. |
| 13 | Otherwise, please submit a [new issue][new] and include all information that | 13 | Otherwise, please submit a [new issue][new] and include all information that |
| 14 | might be relevant! | 14 | might be relevant! |