aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-07-18 16:13:57 +0100
committerbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-07-18 16:13:57 +0100
commita15a278308047b160e5805dbb554a1949fcb0228 (patch)
treee92b92abe2b38988c2ae4d185d987205a6f34384 /editors
parent517692de437a250d3a8758594cae69f4fe4216a9 (diff)
parent0fb4b896e2b4a1da3069e30b4d4fba0821dc1e13 (diff)
Merge #1543
1543: use more correct phantom types for ptrs r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions