$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: Re: [boost] [units] unmerged changes in develop
From: Jürgen Hunold (jhunold_at_[hidden])
Date: 2015-01-15 13:08:09
Hi Peter,
Am Donnerstag, 15. Januar 2015, 19:10:00 schrieb Peter Dimov:
> The following changes are in develop but not in master. Should these be
> merged? They all look fine (and beneficial) to me.
Thanks for the heads-up. The usual "let tests cycle and forget to merge"
syndrome. Merged to master.
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