On Wed, Oct 25, 2023 at 13:57:08 +0100, Dimitri John Ledkov wrote: > Sorry for not patching documentation at the same time as the code > changes that made documentation out of date.
Should this, perhaps, get a `Fixes` trailer then? --Ben
On Wed, Oct 25, 2023 at 13:57:08 +0100, Dimitri John Ledkov wrote: > Sorry for not patching documentation at the same time as the code > changes that made documentation out of date.
Should this, perhaps, get a `Fixes` trailer then? --Ben