bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] users.txt: add grub link


From: Bruno Haible
Subject: Re: [PATCH] users.txt: add grub link
Date: Thu, 23 Mar 2017 21:03:39 +0100
User-agent: KMail/5.1.3 (Linux/4.4.0-66-generic; KDE/5.18.0; x86_64; ; )

> 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

Thanks. Applied.

Bruno




reply via email to

[Prev in Thread] Current Thread [Next in Thread]