3ab27d16ad
Previously collisions in headers between old and new contexts could be silently ignored, allowing the original context's headers to "win". This commit fixes the headers to require they are disjoint. |
||
---|---|---|
.. | ||
main | ||
test |