Boost logo

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