On Tue, Dec 25, 2012 at 07:48:22AM -0800, Michael Elkins wrote:
Thanks for pointing that out. I only checked that "make dist" was working. I've pinged Brendan to look into this.
The nightly snapshots should be up to date now. Please let me know if it is still not working for you.
