projects
/
urcu.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from:
b285374
)
Docs: clarify grace period polling API
author
Jérémie Galarneau
<jeremie.galarneau@efficios.com>
Fri, 10 Feb 2023 19:45:39 +0000
(14:45 -0500)
committer
Mathieu Desnoyers
<mathieu.desnoyers@efficios.com>
Fri, 10 Feb 2023 20:52:46 +0000
(15:52 -0500)
Reword the existing grace period polling API documentation. The
changes are:
- Replace "should" by "must" to express obligations,
- Attempt to clarify "which" grace period the API allows checking for.
Change-Id: Ib3a93faeef7bcdb94ebae2d294d45925e12873a4
Signed-off-by: Jérémie Galarneau <jeremie.galarneau@efficios.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
No differences found
This page took
0.030042 seconds
and
4
git commands to generate.