-
Neal Gompa authored
This clarifies that there are two session types, and makes it easy to distinguish what type of session is being used.
71dfc770
This clarifies that there are two session types, and makes it easy to distinguish what type of session is being used.