mirror of
https://github.com/microsoft/GSL.git
synced 2026-08-20 20:33:32 +02:00
https://github.com/microsoft/GSL/pull/1228 was merged with a handful of unresolved comments. This PR resolves those comments.
https://github.com/microsoft/GSL/pull/1228 was merged with a handful of unresolved comments. This PR resolves those comments.