diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-18 16:13:57 +0100 |
|---|---|---|
| committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-18 16:13:57 +0100 |
| commit | a15a278308047b160e5805dbb554a1949fcb0228 (patch) | |
| tree | e92b92abe2b38988c2ae4d185d987205a6f34384 /editors | |
| parent | 517692de437a250d3a8758594cae69f4fe4216a9 (diff) | |
| parent | 0fb4b896e2b4a1da3069e30b4d4fba0821dc1e13 (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