Headers that were previously prefixed with gsl_ were renamed to drop the gsl_ prefix in https://github.com/microsoft/GSL/pull/946, and the original version deprecated.
The deprecation happened a long time ago, so it is now time to remove these headers entirely.
Headers that were previously prefixed with
gsl_were renamed to drop thegsl_prefix in https://github.com/microsoft/GSL/pull/946, and the original version deprecated. The deprecation happened a long time ago, so it is now time to remove these headers entirely.