Hey everyone, just making sure I'm complying with the new patch policies. Shall I use `git cl' for every little patch like this? - Mark
Here's a revised doc patch that I started last month. Feel free to review. Thanks. - Mark
LGTM