On Wed, Jul 20, 2016 at 07:07:25AM -0400, Mark H Weaver wrote:
> Hmm.  It would be good to see the diff between the two "versions" of
> 2.2.5.  If there's anything substantive in there, then we might want to
> bump the version on our behalf.  Otherwise it probably doesn't matter.

The difference seem trivial to me. There are fixed typos in comments,
and code changes in 'example1.cpp'. I assume that 'example1.cpp' is
unimportant, but I don't know.

What do you think about the attached patch?