On 2026/09/29 17:24, Atanas Vladimirov wrote: > > Another ping :) I've committed this.
When sending a 'ping' mail, it's helpful to include a fresh diff, to make it easier for whoever commits it (and, though it doesn't apply here, doing a cvs up before generating it will also catch cases where something was already committed but not noticed, as happens sometimes :)
