diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-03-07 17:03:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-07 17:03:54 +0100 |
| commit | 9b853d7a7b12f11e98e8c12b2e4ba96f4111add8 (patch) | |
| tree | ae28d25665bedad9cfcb8898fe961b57f5ce74fc /.github | |
| parent | dc2207d8e8602a518ca1019c15d1994c1e8f36d6 (diff) | |
| parent | 5c58d3731c504561f3ba21dd40756c5c19ae1ce3 (diff) | |
Merge pull request #46572 from jmb462/fix-selection-error-after-commenting-or-indenting
Fix selection error after commenting or indenting text (Fix #46477 issue)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions