|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#37139: closed (Small eror on gnu.org page) |
Date: | Thu, 22 Aug 2019 16:16:01 +0000 |
Your message dated Thu, 22 Aug 2019 09:15:13 -0700 with message-id <address@hidden> and subject line Re: bug#37139: Small eror on gnu.org page has caused the debbugs.gnu.org bug report #37139, regarding Small eror on gnu.org page to be marked as done. (If you believe you have received this mail in error, please contact address@hidden.) -- 37139: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37139 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: Small eror on gnu.org page Date: Thu, 22 Aug 2019 01:28:58 +0000 I hope this is the correct email. I've noticed a minor error on https://www.gnu.org/software/parted/ - it says: git checkout https://git.savannah.gnu.org/git/parted.git instead of: git clone https://git.savannah.gnu.org/git/parted.git
--- End Message ---
--- Begin Message ---Subject: Re: bug#37139: Small eror on gnu.org page Date: Thu, 22 Aug 2019 09:15:13 -0700 User-agent: Mutt/1.12.1 (2019-06-15) On Thu, Aug 22, 2019 at 01:28:58AM +0000, operator.name via Bug reports for the GNU Parted disk partition editor wrote: > I hope this is the correct email. I've noticed a minor error on > https://www.gnu.org/software/parted/ - it says: > > git checkout https://git.savannah.gnu.org/git/parted.git > > instead of: > > git clone https://git.savannah.gnu.org/git/parted.git Thanks, fixed. -- Brian C. Lane (PST8PDT) - weldr.io - lorax - parted
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |