Re: Latest commit breaks master

[David Kastrup]

James <address@hidden> writes:

> On 19 December 2012 22:58, James <address@hidden> wrote:
>> Hello,
>>
>> On 19 December 2012 22:54, David Kastrup <address@hidden> wrote:
>>
>>
>>> Thanks.  By the way, is the 2-hourly run on right now?  After fixing the
>>> docs and getting a successful make doc run (big time hole), I pushed to
>>> staging again somewhat more than 2 hours ago, so I am somewhat worried
>>> that something bad got in for whatever reason again in spite of full
>>> testing coverage.
>>
>> Sorry I have been applying patches to my main box (LilyDev runs in a
>> VM) and it took an age to download some updates.
>>
>> I'll be back again in about 20 minutes - I'm just running Han's OFL
>> license thing through the wringer.
>
> OK starting merge now.

Looks like success this time round.  I did not expect the trouble this
caused, but then the sole purpose of the patch was to cause trouble so
it should not have been all that surprising.

Thanks

-- 
David Kastrup