Move and rename SessionDiagnostic & SessionSubdiagnostic traits and macros#101558
Merged
bors merged 6 commits intoSep 21, 2022
Merged
SessionDiagnostic & SessionSubdiagnostic traits and macros#101558