No problem at all, Roberto! My patch was so simple that it's purpose was really just raising awareness :)
Nov 3, 2025 12:16:43 PM Roberto E. Vargas Caballero <[email protected]>: > On Mon, Nov 03, 2025 at 11:52:07AM +0100, Roberto E. Vargas Caballero wrote: >> If you agree, I will push the following version of the patch: > > Due to a mistake in my side, I already pushed the change. > Please, feel free to disagree and we will see how we can > acomodate it in case of being needed. > > Regards,
