Merge branch 'fix/doxygenwin'
authorPaul Brossier <piem@piem.org>
Sat, 15 Nov 2025 15:47:31 +0000 (16:47 +0100)
committerPaul Brossier <piem@piem.org>
Sat, 15 Nov 2025 15:47:31 +0000 (16:47 +0100)

Trivial merge