Re: [boost] [Config] Meaning of BOOST_NO_CXX11_HDR_INITIALIZER_LIST

Now there's a hoot. I just finished searching for BOOST_NO_STD_UNORDERED to see if anyone in boost was using it - with the same idea.

In all the cases that I've looked at, if BOOST_NO_STD_UNORDERED is set, so are BOOST_NO_CXX11_HDR_UNORDERED_MAP and BOOST_NO_CXX11_HDR_UNORDERED_SET

However, there are cases where BOOST_NO_STD_UNORDERED is _not_ set, and the other ones are. [ I think those might be bugs. ]

We could just say that BOOST_NO_CXX11_HDR_UNORDERED_SET is a synonym for BOOST_NO_STD_UNORDERED, and is the preferred replacement.

Agreed we should deprecate BOOST_NO_STD_UNORDERED - but I would set it if *either* of BOOST_NO_CXX11_HDR_UNORDERED_SET or BOOST_NO_CXX11_HDR_UNORDERED_MAP is set (since it implies both). John.