users-guide: Fix a variety of warnings
authorBen Gamari <ben@smart-cactus.org>
Mon, 8 May 2017 21:35:05 +0000 (17:35 -0400)
committerBen Gamari <ben@smart-cactus.org>
Mon, 8 May 2017 21:37:07 +0000 (17:37 -0400)
commit476307cee7ff142b0eff91d45fddf17775417814
treebaa032d9d9af2675fdbac2a10edecb90b5483452
parentc685a44776ca77cad813f32e3cc7f7a42daf1d7d
users-guide: Fix a variety of warnings

Including #13665.
docs/users_guide/8.2.1-notes.rst
docs/users_guide/8.4.1-notes.rst
docs/users_guide/eventlog-formats.rst
docs/users_guide/glasgow_exts.rst
docs/users_guide/using-optimisation.rst
docs/users_guide/using-warnings.rst