[Boost-maint] [interval] unhandled merge request

Subject: [Boost-maint] [interval] unhandled merge request
From: Jürgen Hunold (jhunold_at_[hidden])
Date: 2014-06-11 14:19:17

Hi!

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 please take a look?

Thanks!

Yours,

Jürgen
-- 
* Dipl.-Math. Jürgen Hunold  ! 
* voice: ++49 4257 300       ! Fährstraße 1
* fax  : ++49 4257 300       ! 31609 Balge/Sebbenhausen
* jhunold_at_gmx.eu             ! Germany