[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Minor fixes to .gdbinit

From: Paul Eggert
Subject: Re: [PATCH] Minor fixes to .gdbinit
Date: Sun, 11 Feb 2018 17:35:44 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0

Thanks, this patch looks good, and I suggesting installing it into master at your convenience.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]