Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
remove the extra comma after the match arm
This would follow the same coding style as all the other match arms in this file.
- Loading branch information