Subject: [Boost-build] merge request
From: Jürgen Hunold (jhunold_at_[hidden])
Date: 2014-06-16 05:57:12
Hi,
we have six merge requests open. I've reviewed
https://github.com/boostorg/build/pull/6
Any objections to merge this one?
The full list is https://github.com/boostorg/build/pulls with some interesting
contributions.
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