Re: Native line numbers landed on master

[martin rudalics]

>>   > Should that
>>   > variable name be instead "display-line-numbers-width"?
>>
>> I think so too.
>
> Feel free to fix as you see fit.

Done.

>> Also, the latest fix of the doc-string of ‘display-line-numbers’
>> introduced a few typos.  Maybe it should be even rewritten as sketched
>> below (provided I managed to grasp the sense of it correctly).
>
> Fine with me, thanks.

Pushed as well.

martin