mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-23 01:21:42 +00:00
A month ago, we discussed renaming this mutex to better reflect its current use, and this commit does that. The inline comment was also updated.