our old GitHub issues have now been imported

[James Taylor]

Just so you all don't worry about our bug count jumping up right before
release, the reason is that our old GitHub issues have been imported.

Thanks,
James