> Just 'git commit --amen' to update the timestamp [...]

Thanks Michał, that did the trick.

-Ralph

Reply via email to