More tweaks.
authorAustin Seipp <austin@well-typed.com>
Wed, 22 Jan 2014 23:12:26 +0000 (17:12 -0600)
committerAustin Seipp <austin@well-typed.com>
Wed, 22 Jan 2014 23:12:26 +0000 (17:12 -0600)
commit21c2607be35fe89143972fd2c2fa1479d3a3538a
tree0903479a7fb785717ed4236c7098b4d04344b395
parent4f9df5a4cf060b357cfb1bc100ef32f50e4783fb
More tweaks.

Signed-off-by: Austin Seipp <austin@well-typed.com>
docs/users_guide/7.8.1-notes.xml