Closed karlskewes closed 1 year ago
See previous update using kskewes
account name: #778
Okay, but we need to keep the historical account name as our data comes from GitHub archives so that we will have both old and new names. I will merge and then update manually in post-merge.
Oh okay, thanks very much Lukasz.