7.10.2984 stable release November 15, 2018

Promote bot build to stable release.
This was built and promoted on November 15, 2018. The initial tag name was reused, causing the older date to be displayed.