Daan Leijen e937070cf1 Merge branch 'dev' into dev-platform		2023-03-15 20:33:35 -07:00
..
vs2017	fix issue #707; rename a local template parameter (destroy) to work around two-phase template resolve in msvc 2019	2023-03-15 20:31:52 -07:00
vs2019	Merge branch 'dev' into dev-platform	2023-03-15 20:33:35 -07:00
vs2022	Merge branch 'dev' into dev-platform	2023-03-15 20:33:35 -07:00