bug#24597: 25.1; Fonts used by default in Info

[Eli Zaretskii]

> From: Andreas Schwab <schwab@linux-m68k.org>
> Cc: 24597@debbugs.gnu.org,  nicolas@petton.fr
> Date: Mon, 03 Oct 2016 23:11:47 +0200
> 
> > Oh, "git show" surprisingly shows the original commit date for
> > cherry-picked commits, so I became confused.
> 
> It shows the author date.

Yes, but it never says that, nor attempts to display both dates when
they are different.  How unhelpful.

> If you want to see the commit date use --pretty=fuller.

Thanks, the moment I understood the issue I did that in my
~/.gitconfig, so I won't ever need to remember this quirk.