Release note fix.
authorAustin Seipp <austin@well-typed.com>
Wed, 9 Oct 2013 08:04:00 +0000 (03:04 -0500)
committerAustin Seipp <austin@well-typed.com>
Wed, 9 Oct 2013 12:35:49 +0000 (07:35 -0500)
commit6751a0075be761a09bc6aae04647a67da1a9bfd5
treedeb41eb27d922ce09805be80290b28e0f2ae5e79
parent7fad107f61313f11cb0b40e0310ede4c119467fd
Release note fix.

Thanks to Gergely Risko for pointing this out.

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