fix: Reference must not hide supplement of non-heading refs

This commit is contained in:
Laurenz 2024-03-20 17:05:45 +01:00
parent f281f92356
commit edb1a55ada
No known key found for this signature in database
GPG key ID: E3D5C22DBA1A8C36

View file

@ -262,6 +262,8 @@
} else {
selected_lang.section
}
} else {
it.supplement
}
})