Boost logo

Boost-Maint :

Subject: Re: [Boost-maint] [interval] unhandled merge request
From: Marcel Raad (raad_at_[hidden])
Date: 2014-06-29 05:47:12


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.


Boost-Maint list run by bdawes at acm dot org