Items for the July board report

[Jeremy Hughes]

Hi, the board report is due tomorrow. Please let me know what items
you'd like to add. I will of course include all the releases from the
past 3 months.

Thanks,
Jeremy