diff options
| author | nicm <nicm> | 2024-03-21 11:26:28 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2024-03-21 11:26:28 +0000 |
| commit | 0c374868ca34cef826e15e7984300f0292b314d8 (patch) | |
| tree | a5187fed91769286ceb3d04c542d25a050717e05 /file.c | |
| parent | 8ffd5458ff850ae556069ed61ec111cefa0a31ea (diff) | |
Do not consider a selection present if it is empty, from Michael Grant
(GitHub issue 3869). Also a typo fix from GitHub issue 3877.
Diffstat (limited to 'file.c')
0 files changed, 0 insertions, 0 deletions