On Wed, 23 Sep 2020, Chris Lamb wrote:
Fixed upstream:
https://github.com/doxygen/doxygen/commit/dfc82af001c56254c6fde0affd009f80e19b1548
Thanks for the update, although I'm not sure "fixed" is quite right
just yet as I see that issue #8037 [0] is still open. But let's wait a
bit and see what happens.
[0] https://github.com/doxygen/doxygen/issues/8037
That's how the Doxygen upstream maintainer works - the issues are left in
'open' state until there is a new release. See the 'fixed but not
released' label on it.
Scott