On Sun, Feb 04, 2018 at 07:05:00PM +0100, Vincent Lefevre wrote:
> There is an extraneous space before "History", i.e. yielding 2 spaces
> instead of one, or was it added on purpose?
> Attached proposed patch to remove this space.

Whoops, that was indeed a mistake.  Thanks Vincent.  Feel free to push
the fix, otherwise I will do it later on today.


Kevin J. McCarthy
GPG Fingerprint: 8975 A9B3 3AA3 7910 385C  5308 ADEF 7684 8031 6BDA

Attachment: signature.asc
Description: PGP signature

Reply via email to