[prev in list] [next in list] [prev in thread] [next in thread] 

List:       boost
Subject:    Re: [boost] [PropertyTree] Pull request removing usage of typeid()
From:       Chris Glover <c.d.glover () gmail ! com>
Date:       2016-08-28 15:48:21
Message-ID: CABh_GYkwzReLQ1G_aMEBumrJXaMesRG_1xY-QYFyDmYN_o-mEw () mail ! gmail ! com
[Download RAW message or body]

On Tue, 23 Aug 2016 at 10:45 Chris Glover <c.d.glover@gmail.com> 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
[prev in list] [next in list] [prev in thread] [next in thread]