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 are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.