changeset 18754:375e7dd693c5

users.txt: add grub link
author Andrei Borzenkov <arvidjaar@gmail.com>
date Thu, 23 Mar 2017 19:20:41 +0300
parents c0ce7fff7bc1
children 4e0bb1bca0bd
files users.txt
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/users.txt	Wed Mar 22 10:25:04 2017 -0700
+++ b/users.txt	Thu Mar 23 19:20:41 2017 +0300
@@ -29,6 +29,7 @@
                   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