Boost logo

Boost :

Subject: Re: [boost] [PropertyTree] Pull request removing usage of typeid()
From: Chris Glover (c.d.glover_at_[hidden])
Date: 2016-08-28 11:48:21

On Tue, 23 Aug 2016 at 10:45 Chris Glover <c.d.glover_at_[hidden]> 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.
> I've had no feedback on the change. Can it be merged?
> Thanks,
> -- chris


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?


-- chris

Boost list run by bdawes at, gregod at, cpdaniel at, john at