This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH v2][PR cli/22573] Honour 'print pretty' when printing result of finish command
- From: Tom de Vries <tdevries at suse dot de>
- To: Pedro Alves <palves at redhat dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Thu, 14 Jun 2018 15:44:56 +0200
- Subject: Re: [PATCH v2][PR cli/22573] Honour 'print pretty' when printing result of finish command
- References: <20180609170752.2s4kdlyhat5d5bnn@localhost.localdomain> <4504da7f-593e-c8af-8ac9-40930cf9ce11@redhat.com> <20180614094758.ipkygcmpxdjpmfsj@localhost.localdomain> <5cd6f7f2-3425-4c77-b2eb-a9530256519e@redhat.com>
On 06/14/2018 12:55 PM, Pedro Alves wrote:
> OK with the typo below fixed. Please make sure the git commit log
> includes the rationale [1], and push.
>
> [1] - sorry to be a nag, but your previous push did not include it. :-)
No problem, much appreciated.
Currently I add the rationale manually pre-commit, so it's something
that I might forget. I need to update my pre-commit script to handle
this log format, and then I'll try to train myself to add the rationale
in the log before submission.
Thanks,
- Tom