P1811R0 Relaxing redefinition restrictions for re-exportation robustness#3087

zygoloid merged 1 commit intomastercplusplus/draft:masterfrom

motions-2019-07-cwg-14cplusplus/draft:motions-2019-07-cwg-14Copy head branch name to clipboard