On Thu, Nov 30, 2017 at 11:41:13PM +0100, Paul Menzel wrote:
Date: Mon, 2 Oct 2017 08:13:13 +0200
Signed-off-by: Paul Menzel pmenzel@molgen.mpg.de
Thanks. I committed this change.
BTW, for some reason I couldn't get your email to be accepted by "git am" so I manually applied it. Not sure why my email client renders your email correctly, but "git am" chokes on extra leading spaces.
-Kevin