Bug#588095: Should be grave?

[Ivan Jager <aij+debian@mrph.org>]

severity 588095 grave
thanks

I believe this should have been severity grave, on the basis that
it "makes the package in question unusable or mostly so".

I'd say mostly so in this case, since everything in
/usr/share/doc/libcore-ocaml-doc/html/core-api/ is useless,
although at least some of the files for the extended-api seems to
have content. (Although presumably if you're using the extended
API you're also using the core API...)

If I am wrong, feel free to change it back. I don't mean to step
on any toes, but this bug should at least get some attention
before the release.

Thanks,
Ivan