docs(CONTRIBUTORS): add Solomon Bothwell

RedPRL / cooltt

😎TT

http://www.redprl.org/

Apache License 2.0

217 stars 16 forks source link

docs(CONTRIBUTORS): add Solomon Bothwell #405

Closed favonia closed 11 months ago

favonia commented 11 months ago

Hi, @solomon-b, thanks for your contribution. I wonder if you could explicitly approve this PR as a lightweight mechanism to assign the copyright of all your contributions to The RedPRL Development Team? See https://github.com/RedPRL/cooltt/blob/main/CONTRIBUTING.md for more explanation.

solomon-b commented 11 months ago

Looks good! I approve.

favonia commented 11 months ago

@solomon-b I thought there should be a way for you to review the PR but your comment also works. Thanks!