Re: panic in Dec 23 snapshot

[Mike]

On 12/23/2015 5:44 PM, Theo Buehler wrote:
> [snip]
> The commit that caused this was backed out for now, so the next snapshot
> should be ok:


thanks!