bug#37139: Small eror on gnu.org page

2019-08-22 Thread Brian C. Lane
On Thu, Aug 22, 2019 at 01:28:58AM +, 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

bug#37139: Small eror on gnu.org page

2019-08-21 Thread operator.name
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