No worries. Thanks!

— Sent from mobile, with due apologies for brevity and errors.

On Feb 20, 2020, at 12:25 PM, Henning Westerholt notifications@github.com wrote:

 Hi Alex, as you pushed already to the public git master, it is better not to change it now as other people have already checked it out. The author information is in the archives now due to this discussion.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub, or unsubscribe.