doc/changelog/09-coqide/10360-windows.rst


1
2
3

- Fix CoqIDE instability on Windows after the update to gtk3
  (`#10360 <https://github.com/coq/coq/pull/10360>`_, by Michael Soegtrop,
  closes `#9885 <https://github.com/coq/coq/issues/9885>`_).