Subject: Re: bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom

From: Stefan Kangas <[email-masked]>
Date: Tue, 27 Aug 2019 02:45:46 +0200

close 37120 27.1
quit

Eli Zaretskii <[email-masked]> writes:

> LGTM, thanks.

Thanks; pushed to master as commit 3ef6849b45.

Best regards,
Stefan Kangas