Re: [boost] [property_tree] Pull request removing usage of typeid()

Change title to improve filter matching and cc Sebastian. Benedek On Aug 28, 2016 5:48 PM, "Chris Glover" wrote:

On Tue, 23 Aug 2016 at 10:45 Chris Glover wrote:

...

Hi,

In February, I submitted a pull request that removes the usage of typeid from property_tree and replaces it with boost.type_index. This allows me to use property_tree with rtti disabled, which I need sometimes.

https://github.com/boostorg/property_tree/pull/20

I've had no feedback on the change. Can it be merged?

Thanks,

-- chris

Hi,

Considering that I've heard nothing about this on github or the mailing list, I can only assume that there is no maintainer for property_tree.

If that's the case, what's the process for getting something merged?

Thanks,

-- chris

_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/ mailman/listinfo.cgi/boost