Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add Mike as co-author, status Draft->Final
We've got multiple implementations, so Final status is appropriate. And Mike agreed to help pull clarifying edits.
- Loading branch information