Re: [boost] Important: RC_1_33_0 -> HEAD merge

Doug Gregor <doug.gregor <at> gmail.com> writes:

Now that 1.33.1 is out and the RC_1_33_0 branch is most likely closed for good, I've merged many of the changes from the RC_1_33_0 branch back to HEAD so that we don't lose all of the minor tweaks we made at the end...

I've just checked it out, and there're some recently modified files in libs/multi_index/ that didn't get merged from RC_1_33_0 to HEAD (for an example, see http://tinyurl.com/cznm2) Is this intentional or just an overlook? I can do the merge myself, but I'm afraid there could be some more unintended leftovers in other libs and nobody would notice. Joaquín M López Muñoz Telefónica, Investigación y Desarrollo