Unbreak build (fallout from 067f1e4f20e)
authorAustin Seipp <austin@well-typed.com>
Fri, 21 Nov 2014 06:23:40 +0000 (00:23 -0600)
committerAustin Seipp <austin@well-typed.com>
Fri, 21 Nov 2014 06:23:40 +0000 (00:23 -0600)
commit27f9c74630da7ace758c357e6421cc35cb5bebfc
tree48a98fcb74507971ee110845dd215130f4804003
parent7ed482d909556c1b969185921e27e3fe30c2fe86
Unbreak build (fallout from 067f1e4f20e)

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