From 683b6078961f10905baba598c469402ed0133425 Mon Sep 17 00:00:00 2001 From: Andrei Borzenkov Date: Thu, 23 Mar 2017 19:20:41 +0300 Subject: users.txt: add grub link --- users.txt | 1 + 1 file changed, 1 insertion(+) (limited to 'users.txt') diff --git a/users.txt b/users.txt index 4fa5553315..24baeec809 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 -- cgit v1.2.1