-
Herbert Valerio Riedel authored
This just addresses the specific issue raised in #9165. However, I've noticed the Haddock comments need to be improved, which will be addressed by a separate commit. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
fe593349