Raphael Geissert <[email protected]> writes: > Sure, thanks.
Pushed. > BTW, I made the changes in c9853 because I saw multiple > spelling-error-in-* tags complaining about uppercase words and proposing > a correction with only a capital letter did not look correct. Yes, that's a great fix. I should have thought of it. Thank you! -- Russ Allbery ([email protected]) <http://www.eyrie.org/~eagle/> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
