diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-28 16:26:20 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-28 16:26:20 +0100 |
commit | d5f7b2e52a41a7d3b841f4d0e2225eb703f6a50a (patch) | |
tree | f09699314664440b08fc445861a010fcbb74b407 /editors | |
parent | 2968731fd58e86d994753af5f81e52230c34b240 (diff) | |
parent | a0cd7fe242f1f58a1570164ec595f94b8b64e1b5 (diff) |
Merge #9028
9028: only advertise range formatting support if enabled r=Veykril a=euclio
Fixes #9009.
Co-authored-by: Andy Russell <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions