diff options
| author | Blaž Hrastnik | 2021-06-30 08:42:23 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-06-30 08:49:42 +0000 |
| commit | 2a92dd8d4d3acbdc55e98217260346622c95250e (patch) | |
| tree | ccb62bfe54be84b614680875cf94f503026e18ca /.github/workflows | |
| parent | acaf22d00548c39c5bc86eea58cf523508a9c3b6 (diff) | |
If completion arrives after we already stopped editing, ignore it
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions