Skip to content
This repository was archived by the owner on Jun 8, 2025. It is now read-only.

revisions to fix links and add new leader #9

Merged
merged 1 commit into from
Dec 6, 2022
Merged

Conversation

jgadsden
Copy link
Collaborator

@jgadsden jgadsden commented Dec 6, 2022

Some fix ups and rearrangements
Also adds the new project leader

@jgadsden jgadsden self-assigned this Dec 6, 2022
@jgadsden jgadsden merged commit d694698 into master Dec 6, 2022
@jgadsden jgadsden deleted the add-leader branch December 6, 2022 15:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
1 participant