Re: Latest commit breaks master

[James]

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.