aboutsummaryrefslogtreecommitdiff
path: root/docs/user
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-10-28 17:30:22 +0000
committerGitHub <[email protected]>2019-10-28 17:30:22 +0000
commit52c34c614b561096b239bddf59aa741270b2177e (patch)
tree9c75065f4fbb2e93d02dbefe8516f6ad1b902655 /docs/user
parent1ca41f2118fca17ee5ad0f586218489fa5d883af (diff)
parent54d3e47318930c7a443b1498ff88d365920abe39 (diff)
Merge #2110
2110: weaken requirements of AstDef r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions