On Wed, Mar 01, 2017 at 09:34:01PM -0500, Leo Famulari wrote:
> I attached a diff of the cosmetic changes I will make before pushing.

I forgot to attach it. Here it is.