Boost :

Date view	Thread view	Subject view	Author view

Subject: Re: [boost] [release][build] Permission to merge
From: Daniel James (dnljms_at_[hidden])
Date: 2017-11-22 22:50:15

Next message: Phil Endecott: "Re: [boost] Adding polymorphic_value to boost"
Previous message: Jürgen Hunold: "[boost] [release][build] Permission to merge"
In reply to: Jürgen Hunold: "[boost] [release][build] Permission to merge"

On 22 Nov 2017 20:51, "JÃ¼rgen Hunold via Boost" <boost_at_[hidden]>
wrote:
>
> Hi!
>
> I'd like to merge commit e07c805e to master.
>
> This fixes
>
> https://github.com/boostorg/build/issues/236
>
> with my PR from
>
> https://github.com/boostorg/build/pull/263

Yes, and thanks for fixing this.

Next message: Phil Endecott: "Re: [boost] Adding polymorphic_value to boost"
Previous message: Jürgen Hunold: "[boost] [release][build] Permission to merge"
In reply to: Jürgen Hunold: "[boost] [release][build] Permission to merge"

Date view	Thread view	Subject view	Author view

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk