but is that the devel tree

On Sat, May 15, 2021, 18:02 Eduardo Bustamante <dual...@gmail.com> wrote:

> On Sat, May 15, 2021 at 4:54 AM Alex fxmbsw7 Ratchev <fxmb...@gmail.com>
> wrote:
> >
> > may i ask frankly for the git cmd to get it
>
> You can find the instructions on how to clone the repository in the
> Savannah portal: https://savannah.gnu.org/git/?group=bash
>
> i.e.
>
>     git clone https://git.savannah.gnu.org/git/bash.git
>

Reply via email to