Cutting a release

[wmorgan6796]

Its been about 4 years since the last release cut. Are there any plans to cut a release? Should we expect to do something akin to Google's "live at head"?

[guangli-dai]

There will be a release. Since this is a question many are asking, will keep this issue open until we have more release information shared here.