Fix unusable units and module reexport interaction (#21097)
Test added: T21097
Should also fix #16996 (closed) and #11050 (closed).
Merge request reports
Activity
Filter activity
added backport needed:9.6 backport needed:9.8 labels
added 1 commit
- 9ab2b16e - Fix unusable units and module reexport interaction (#21097 (closed))
assigned to @marge-bot
- Resolved by Sylvain Henry
Could you please improve the commit message to describe what this patch does, and how that fixes the problem?
unassigned @marge-bot
- Resolved by Sylvain Henry
added 1 commit
- af7f278d - Fix unusable units and module reexport interaction (#21097 (closed))
Very good commit message, thanks @hsyl20
assigned to @marge-bot
added 1 commit
- 973eb1b4 - Fix unusable units and module reexport interaction (#21097 (closed))
I will attempt to batch this MR (!11618 (closed))...
Merged in cee81370
mentioned in commit head.hackage@ac5c9d58
mentioned in issue #21097 (closed)
mentioned in merge request !11764 (merged)
Backported to %9.6.4 in !11764 (merged)
Please register or sign in to reply