|
Boost-Maint : |
Subject: Re: [Boost-maint] [interval] unhandled merge request
From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2014-07-07 14:44:02
On Jun 29, 2014, at 2:47 AM, Marcel Raad <raad_at_[hidden]> wrote:
> Jürgen Hunold <jhunold <at> gmx.eu> writes:
>
>> I've filed
>>
>> https://github.com/boostorg/interval/pull/2
>>
>> fixing some test errors due to Boost.Test changes only on develop
>> on May 13.
>
> Can someone merge that please? The test case has been failing since
> February 2013.
I have merged this pull request. (finally!)
Marshall
Boost-Maint list run by bdawes at acm dot org