Ralph Seichter Tue, 23 Oct 2018 05:49:06 -0700
> Just 'git commit --amen' to update the timestamp [...] Thanks Michał, that did the trick.
-Ralph