On 8/27/24 20:35, Markus Armbruster wrote:
I'm nominating this fix for v9.1 because it can only affect generated
documentation, and CI should protect us from surprise build breaks.
Feel free to delay it to v9.2 if you think even that is too much risk
or simply too much trouble to be worthwhile.
I'm nominating this fix for v9.1 because it can only affect generated
documentation, and CI should protect us from surprise build breaks.
Feel free to delay it to v9.2 if you think even that is too much risk
or simply too much trouble to be worthwhile.
The following changes since commit afaee42f77
