diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-06-24 11:10:05 +0100 |
|---|---|---|
| committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-06-24 11:10:05 +0100 |
| commit | 67ecc88f664818cf04729286afa10ba70ad1a9dd (patch) | |
| tree | e43d2e116367c76fdd78fca58ae752aafd72f1f2 /editors/code/src/notifications | |
| parent | b34f65bcedadf2bb8fb738711a01be9c825c98c9 (diff) | |
| parent | d04473accb1a22abdb2262d0e8954beaf28ae364 (diff) | |
Merge #1415
1415: fix: specialization r=matklad a=csmoe
Closes #1402
r? @matklad
Co-authored-by: csmoe <[email protected]>
Diffstat (limited to 'editors/code/src/notifications')
0 files changed, 0 insertions, 0 deletions