diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-20 08:47:04 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-20 08:47:04 +0000 |
| commit | 69ee5c9c5ef212f7911028c9ddf581559e6565c3 (patch) | |
| tree | 32ddffef8d2c21e9f5229f2608a1aaf8f60cc8b5 /docs/dev | |
| parent | d080c8f02105bc52f069785ae3e843a6606560e1 (diff) | |
| parent | 21f20d5debe141e5c0d34ab56c4563a8be077aca (diff) | |
Merge #999
999: Fixed typo in `Interner`’s name (`Intener`) r=matklad a=regexident
Co-authored-by: Vincent Esche <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions