I didn't merge this PR last year because it was just before the release but I think the patch is safe and shouldn't cause any harm (I'm doing the same with the LSP plugin without any problems) so I'm merging it now.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.