[PATCH] users.txt: add grub link

[Andrei Borzenkov]

---
 users.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/users.txt b/users.txt
index 4fa5553..24baeec 100644
--- a/users.txt
+++ b/users.txt
@@ -29,6 +29,7 @@ The following packages appear to be using gnulib and 
gnulib-tool:
                   https://gitlab.com/gnutls/gnutls.git
   gpg             https://gnupg.org/
                   https://git.gnupg.org/
+  grub            https://git.savannah.gnu.org/cgit/grub.git
   gsasl           https://git.sv.gnu.org/gitweb/?p=gsasl.git
   gss             https://git.sv.gnu.org/gitweb/?p=gss.git
   gtkreindeer     https://git.sv.gnu.org/gitweb/?p=gtkreindeer.git
-- 
tg: (bd78ca3..) u/users-grub (depends on: master)