aboutsummaryrefslogtreecommitdiff
path: root/docs/user
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-10-06 19:06:38 +0100
committerGitHub <[email protected]>2020-10-06 19:06:38 +0100
commit6409d7e8106783032f43b7d353d6106e065fb7c2 (patch)
tree5f37dcd9202f991ec40ca28b4a1653aa60697849 /docs/user
parent57735f2a32138d552c51c4b2de04bcd56650db15 (diff)
parentd7991f5f21c11d4d2498a3d2720fbfd490364d36 (diff)
Merge #6157
6157: Document privacy invariant of SyntaxPtr r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions