any issue with adding new command (alias) "exit"? Re: [PING] [PATCH 1/2] gdb: improve quit command with an alias called exit

[Joel Brobecker]

> > I could see in the FSF records that you have assigned past and
> > future changes for GDB, so given that you now have submitted at
> > least one good patch, you are eligible for receiving Write After
> > Approval access to the repository. Let us know if you'd like
> > instructions on how to do that.
> > 
> 
> It's my honor to have the access, yes！

I will send instructions off-line.

-- 
Joel