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 -- Kevin J. McCarthy GPG Fingerprint: 8975 A9B3 3AA3 7910 385C 5308 ADEF 7684 8031 6BDA
Description: PGP signature