summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc_topics/02-development.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_topics/02-development.md b/doc_topics/02-development.md
index 8925b83..c145c79 100644
--- a/doc_topics/02-development.md
+++ b/doc_topics/02-development.md
@@ -8,5 +8,5 @@ The tests concerned are all labelled with `#manual`. And in CI they will
be skipped because `--exclude-tags=manual` is being passed to the
`busted` command line.
-Hence if tests like this are being added, then please ensure the tests
+Hence if tests like these are being added, then please ensure the tests
pass locally, and do not rely on CI only.