fixed in r31392
sorry about that.
On Tue, Apr 15, 2014 at 8:11 AM, Ralph Castain wrote:
> Hi Gilles
>
> There really isn't any need to open tickets when things like this happen.
> A simple note to devel is usually considered adequate. The problem will
> either be repaired by the responsible org
Hi Gilles
There really isn't any need to open tickets when things like this happen. A
simple note to devel is usually considered adequate. The problem will either be
repaired by the responsible organization when they return to work, or we will
revert the offending commit if the fix is going to
