[GitHub PR #9 by allcontributors[bot]] docs: add jono-rams as a contributor for code, doc, and infra #8
Reference in New Issue
Block a user
No description provided.
Delete Branch "github-pr-9"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Mirrored from GitHub PR
#9
byallcontributors[bot]
Original PR: https://github.com/jono-rams/PolySolve/pull/9
Adds @jono-rams as a contributor for code, doc, infra.
This was requested by jono-rams in this comment
[skip ci]