Subject: Re: [boost] Unmerged changes in develop
From: Peter Dimov (lists_at_[hidden])
Date: 2015-01-15 17:35:47
Andrey Semashev wrote:
> That's all difference I can see. I did pull & merge both branches
> immediately before diff.
Yes, it appears that I was missing two commits on master, sorry.