1 week bump, any other feedback on this? -- Scott Cheloha
> On Jul 30, 2017, at 2:05 AM, Florian Obser <[email protected]> wrote: > > OK florian@ > > [...]
- mg: print default choice before colon in echo line prompts Scott Cheloha
- Re: mg: print default choice before colon in echo line... Florian Obser
- Re: mg: print default choice before colon in echo ... Scott Cheloha
- Re: mg: print default choice before colon in e... Brian Callahan
- Re: mg: print default choice before colon ... Brian Callahan
