Another release note fix.
authorAustin Seipp <austin@well-typed.com>
Sun, 27 Oct 2013 02:27:59 +0000 (21:27 -0500)
committerAustin Seipp <austin@well-typed.com>
Sun, 27 Oct 2013 02:27:59 +0000 (21:27 -0500)
commitedea03af1c85dda847aa9e559b153fd43dbba177
tree46c4b4c54c01d13b08b6f5860b000bd82b5b28d0
parent2f5629fe3788ccbf62efd73abfb382c664e5a8e0
Another release note fix.

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