On Wed, 13 Jul 2016, Ben Lipton wrote: >Nothing too exciting, just fixes a few typos I've noticed in comments. ACK. However, please file a ticket and mention it in the commit message. -- / Alexander Bokovoy