diff configure.in @ 2047:709c205efc4d

Win: Fix another Edge HTML crash on exit, under certain circumstances.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Mon, 25 Nov 2019 12:17:26 +0000
parents a17cc1958369
children 966ef0eeed4f
line wrap: on
line diff