Refs #30573 -- Rephrased "Of Course" and "Obvious(ly)" in documentation and comments.

This commit is contained in:
Adam Johnson 2020-05-01 13:37:21 +01:00 committed by Mariusz Felisiak
parent 787981f9d1
commit d17b380653
48 changed files with 137 additions and 160 deletions

View file

@ -82,15 +82,14 @@ As always, more communication is better than less communication!
Which tickets should be claimed?
--------------------------------
Of course, going through the steps of claiming tickets is overkill in some
cases.
Going through the steps of claiming tickets is overkill in some cases.
In the case of small changes, such as typos in the documentation or small bugs
that will only take a few minutes to fix, you don't need to jump through the
hoops of claiming tickets. Submit your patch directly and you're done!
Of course, it is *always* acceptable, regardless whether someone has claimed it
or not, to submit patches to a ticket if you happen to have a patch ready.
It is *always* acceptable, regardless whether someone has claimed it or not, to
submit patches to a ticket if you happen to have a patch ready.
.. _patch-style: