From d8c1b6608a250f4bf588b6e3472d5f0fb98a3a07 Mon Sep 17 00:00:00 2001
From: Jonas Bernoulli <jonas@bernoul.li>
Date: Fri, 10 Mar 2023 11:50:38 +0100
Subject: [PATCH] Remove recipe for eglot (closes #8420)

The repository from which we used to get it is no longer being updated
regularly and an up-to-date version is available from GNU-devel ELPA.
---
 recipes/eglot | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 recipes/eglot

diff --git a/recipes/eglot b/recipes/eglot
deleted file mode 100644
index eaea8c6a117..00000000000
--- a/recipes/eglot
+++ /dev/null
@@ -1 +0,0 @@
-(eglot :repo "joaotavora/eglot" :fetcher github)
\ No newline at end of file