Re: [boost] Unmerged changes in develop

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.