diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2019-02-26 08:46:45 -0800 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2019-02-26 19:14:59 -0800 |
| commit | b682041ed1cbeaf5aa501f85e4e46a6d2e39da3a (patch) | |
| tree | 6ce1d082d44e12af408d8c9d9210297b846d159d /haddock-api/resources/html/Ocean.theme/synopsis.png | |
| parent | a5199600c39d25d7b71dcb2328000c1c49ad95a2 (diff) | |
Fix bogus identifier defaulting
This avoids a situation in which an identifier would get defaulted to
a completely different identifier. Prior to this commit, the 'Bug1035'
test case would hyperlink 'Foo' into 'Bar'!
Fixes #1035.
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions