Opam: add windows patch to new lablgtk3.3.1.4#398

Merged

MSoegtropIMC merged 1 commit intocoq:mainfrom MSoegtropIMC:opam-lablgtk3.3.1.4

Feb 6, 2024

+136

Commits on Feb 5, 2024

Opam: add windows patch to new lablgtk3.3.1.4
MSoegtropIMC
committed