Closed rjbs closed 4 months ago
This just helps make the git log a bit more consistent.
Closing as a duplicate of #439.
This just helps make the git log a bit more consistent.