More release note fixes.
authorAustin Seipp <austin@well-typed.com>
Tue, 10 Sep 2013 03:11:51 +0000 (22:11 -0500)
committerAustin Seipp <austin@well-typed.com>
Tue, 10 Sep 2013 03:11:54 +0000 (22:11 -0500)
commit80a53aa22788ce93883f2c7ba4d086f122f79612
tree5c73fbb1bb12fa0c359859f90453a0530324d4cd
parentf342512d3d8f5895ce19b420b22e424c05e1c2a9
More release note fixes.

This is what I get for being so hasty for release notes.

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