chipx86 got a fish trophy!
Add release notes for Djblets 1.0 RC 1.
Review Request #9339 — Created Oct. 31, 2017 and submitted — Latest diff uploaded
This covers the new improvements for high-DPI support, JSON document
patching and resolving, auto-enabled extensions, new extension hooks,
and bug fixes.
Built the docs. Checked for build errors and spelling errors.