From 34cdc536cd0509c5a151c16f44f4db2c5b44365f Mon Sep 17 00:00:00 2001
From: Jonas Bernoulli <jonas@bernoul.li>
Date: Sat, 27 Jan 2018 11:25:35 +0100
Subject: [PATCH] Fix "Restore gregorio-mode from renamed repository"

---
 recipes/gregorio-mode | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/recipes/gregorio-mode b/recipes/gregorio-mode
index 441ebcde758..4b1316d7efb 100644
--- a/recipes/gregorio-mode
+++ b/recipes/gregorio-mode
@@ -1 +1 @@
-(gregorio-mode :fetcher github :repo "jsrjenkins/gregorio-mode.el")
+(gregorio-mode :fetcher github :repo "jsrjenkins/gregorio-mode")