Incorporate bgamari's suggestions for #11614.
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 15 Mar 2016 17:21:20 +0000 (13:21 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 15 Mar 2016 17:21:20 +0000 (13:21 -0400)
commit857e9b0231db80b838d78e341954d3e75db7e94b
tree836496a362a7101b1f50a4a028005d589b6b9bac
parent19be5385e2875578c3a7d1154238580f0ef3c754
Incorporate bgamari's suggestions for #11614.
docs/users_guide/8.0.1-notes.rst
docs/users_guide/glasgow_exts.rst