dev meeting 2024 02 07

Jump to bottom Edit New page

Etienne Millon edited this page Jan 30, 2024 · 3 revisions

Agenda

using utf8 for dune files (xref #9728, #9396)
- letting the formatter output utf8
- accepting BOM in output