Kyle Meyer <kyle@kyleam.com> writes:
> Kaushal Modi <kaushal.modi@gmail.com> writes:
>
>> Thanks. Please push that for me.
>
> OK, will do. I'll wait a day or two for comments on other sections and
> apply your patch when I commit those changes.
Pushed (4340cc78).