|
From: | João Távora |
Subject: | bug#60761: [PATCH] Remove deprecated RLS server from list of eglot servers |
Date: | Fri, 13 Jan 2023 17:51:13 +0000 |
João, WDYT? I guess we should to have some criteria for when to
remove servers from the DB?
[Prev in Thread] | Current Thread | [Next in Thread] |