[prev in list] [next in list] [prev in thread] [next in thread]
List: boost
Subject: Re: [boost] [property_tree] Pull request removing usage of typeid()
From: Benedek Thaler <thalerbenedek () gmail ! com>
Date: 2016-08-29 19:24:48
Message-ID: CAP1yG=pcOuUTBRuPX=-_vWG91e3vMXHZjZ+haoygWx_agctOgw () mail ! gmail ! com
[Download RAW message or body]
Change title to improve filter matching and cc Sebastian.
Benedek
On Aug 28, 2016 5:48 PM, "Chris Glover" <c.d.glover@gmail.com> wrote:
> 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
>
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic