One more documentation note.
authorAustin Seipp <austin@well-typed.com>
Fri, 19 Dec 2014 15:44:50 +0000 (09:44 -0600)
committerAustin Seipp <austin@well-typed.com>
Fri, 19 Dec 2014 15:44:50 +0000 (09:44 -0600)
commit7fa9d836e3b3e16d3d69a8954cf500dfaa3ea54e
treeae5a561c3fe2d44daa918693dba324ab2cb27a46
parente9382e3dab2246a33675ffeae31a105d7cf7f426
One more documentation note.

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