Skip to content
This repository has been archived by the owner on Nov 30, 2022. It is now read-only.

Changes CONTRIBUTORS.txt to be updated with the latest data #1215

Merged
merged 1 commit into from
Sep 12, 2022

Conversation

gnikyt
Copy link
Owner

@gnikyt gnikyt commented Sep 12, 2022

No description provided.

@gnikyt gnikyt self-assigned this Sep 12, 2022
ericnkatz
florinsith
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This handle does not appear to exist now... possible rename.

@gnikyt gnikyt merged commit f4b4a01 into master Sep 12, 2022
@gnikyt gnikyt deleted the change/contributors branch September 12, 2022 13:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant