On Thu, 25 Oct 2007, Andrew Pinski wrote: > Well technically these headers have been deprecated since at least 3.2 > (maybe even back in 3.0) with them producing a warning. So I don't > know if we should move them or not but we have followed our own rules > here.
Sorry, I misread the Subject: what disappeared under my back, without any warning nor deprecation period, actually was ext/hash_map and friends. Can we get these back, please? Gerald
