
#8475: Library docs: broken links to Foreign.ForeignPtr
-------------------------------------+------------------------------------
Reporter: simonmar | Owner: hellertime
Type: bug | Status: patch
Priority: high | Milestone: 7.8.1
Component: Documentation | Version: 7.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+------------------------------------
Changes (by ezyang):
* cc: davidterei@… (added)
Comment:
CC'ing David Terei, since he was the one originally responsible for adding
the OPTIONS_HADDOCK hide to this module. David, was there any particular
reason why you added that pragma in this commit?
{{{
commit 555183b053d1ec9e27083c0f15f648a69c716bc2
Author: David Terei